Skip to content

Actions: goblint/analyzer

Actions

semgrep

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
semgrep.yml
803 workflow run results
803 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Enhance detection of buffer overflows by introducing variable for length of array/blob semgrep #8909: Pull request #1330 synchronize by FungOliver
January 24, 2024 02:09 13m 17s FungOliver:relationalArray
FungOliver:relationalArray
January 24, 2024 02:09 13m 17s
Linear Two-Variable Equalities Analysis semgrep #8908: Pull request #1297 synchronize by jennieliangga
January 23, 2024 20:39 41s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
January 23, 2024 20:39 41s
Use List.concat_map in EvalAssert semgrep #8907: Commit b9e3905 pushed by sim642
January 23, 2024 15:30 39s master
master
January 23, 2024 15:30 39s
Add VMCAI '24 artifact description to docs semgrep #8906: Pull request #1332 opened by sim642
January 23, 2024 13:13 48s unassume-artifact
unassume-artifact
January 23, 2024 13:13 48s
Rewrite VMCAI24 artifact description intro semgrep #8905: Commit d57d3c1 pushed by sim642
January 23, 2024 12:26 43s unassume-artifact
unassume-artifact
January 23, 2024 12:26 43s
Fix lists in VMACI24 artifact description semgrep #8904: Commit 3625b67 pushed by sim642
January 23, 2024 11:51 40s unassume-artifact
unassume-artifact
January 23, 2024 11:51 40s
Use Z module directly semgrep #8903: Pull request #1329 synchronize by karoliineh
January 23, 2024 10:54 40s z-module
z-module
January 23, 2024 10:54 40s
Remove redundant List.hd call semgrep #8902: Commit 3991fbd pushed by karoliineh
January 23, 2024 10:54 38s z-module
z-module
January 23, 2024 10:54 38s
Use Z module directly semgrep #8901: Pull request #1329 synchronize by karoliineh
January 23, 2024 10:51 35s z-module
z-module
January 23, 2024 10:51 35s
Simplify same semgrep #8900: Commit 0417cf7 pushed by karoliineh
January 23, 2024 10:51 45s z-module
z-module
January 23, 2024 10:51 45s
Merge pull request #1063 from goblint/evalfun-ptranal semgrep #8899: Commit 591154f pushed by sim642
January 23, 2024 08:43 42s master
master
January 23, 2024 08:43 42s
Support for inline assembler & goto instructions in inline assembler semgrep #8898: Pull request #1326 synchronize by N0W0RK
January 23, 2024 00:53 58s N0W0RK:master
N0W0RK:master
January 23, 2024 00:53 58s
Use Z module directly semgrep #8897: Pull request #1329 synchronize by karoliineh
January 22, 2024 16:58 44s z-module
z-module
January 22, 2024 16:58 44s
Remove IntDomain.BigInt semgrep #8896: Commit bc267c8 pushed by karoliineh
January 22, 2024 16:58 37s z-module
z-module
January 22, 2024 16:58 37s
Remove dynamic function call debug message semgrep #8894: Commit 408fbe1 pushed by sim642
January 22, 2024 13:26 39s evalfun-ptranal
evalfun-ptranal
January 22, 2024 13:26 39s
Add CIL's ptranal for EvalFunvar queries semgrep #8895: Pull request #1063 synchronize by sim642
January 22, 2024 13:26 3m 44s evalfun-ptranal
evalfun-ptranal
January 22, 2024 13:26 3m 44s
Add CIL's ptranal for EvalFunvar queries semgrep #8893: Pull request #1063 synchronize by sim642
January 22, 2024 13:21 43s evalfun-ptranal
evalfun-ptranal
January 22, 2024 13:21 43s
Add TODOs to ptranal semgrep #8892: Commit 808b5d2 pushed by sim642
January 22, 2024 13:21 40s evalfun-ptranal
evalfun-ptranal
January 22, 2024 13:21 40s
Use Z module directly semgrep #8891: Pull request #1329 synchronize by karoliineh
January 22, 2024 13:20 38s z-module
z-module
January 22, 2024 13:20 38s
Revert part of "Remove unused FlattenedBI module": keep the test semgrep #8890: Commit 7f80113 pushed by karoliineh
January 22, 2024 13:20 44s z-module
z-module
January 22, 2024 13:20 44s
Merge branch 'master' into concrat-both-branches semgrep #8889: Commit 3c99385 pushed by sim642
January 22, 2024 09:55 39s concrat-both-branches
concrat-both-branches
January 22, 2024 09:55 39s
Fix both branches dead from bot address in array semgrep #8888: Pull request #1233 synchronize by sim642
January 22, 2024 09:55 39s concrat-both-branches
concrat-both-branches
January 22, 2024 09:55 39s
Linear Two-Variable Equalities Analysis semgrep #8887: Pull request #1297 synchronize by reb-ddm
January 21, 2024 13:56 38s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
January 21, 2024 13:56 38s
Linear Two-Variable Equalities Analysis semgrep #8886: Pull request #1297 synchronize by reb-ddm
January 21, 2024 13:45 38s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
January 21, 2024 13:45 38s
Linear Two-Variable Equalities Analysis semgrep #8885: Pull request #1297 synchronize by reb-ddm
January 21, 2024 13:22 43s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
January 21, 2024 13:22 43s