Skip to content

Actions: goblint/analyzer

Actions

semgrep

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
semgrep.yml
748 workflow run results
748 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Use Z module directly semgrep #8863: Pull request #1329 synchronize by karoliineh
January 15, 2024 22:31 2m 26s z-module
z-module
January 15, 2024 22:31 2m 26s
Revert "Replace BigInt.shift_right with Z.shift_right" semgrep #8862: Commit 70871ef pushed by karoliineh
January 15, 2024 22:31 40s z-module
z-module
January 15, 2024 22:31 40s
Use Z module directly semgrep #8861: Pull request #1329 synchronize by karoliineh
January 15, 2024 22:30 39s z-module
z-module
January 15, 2024 22:30 39s
Replace BigInt.shift_right with Z.shift_right semgrep #8860: Commit 68dc189 pushed by karoliineh
January 15, 2024 22:30 38s z-module
z-module
January 15, 2024 22:30 38s
Use Z module directly semgrep #8859: Pull request #1329 synchronize by karoliineh
January 15, 2024 22:29 39s z-module
z-module
January 15, 2024 22:29 39s
Replace BigInt.shift_right with Z.shift_right semgrep #8858: Commit b5e883b pushed by karoliineh
January 15, 2024 22:29 44s z-module
z-module
January 15, 2024 22:29 44s
Use Z module directly semgrep #8857: Pull request #1329 synchronize by karoliineh
January 15, 2024 19:15 40s z-module
z-module
January 15, 2024 19:15 40s
Define bitnot as Z.lognot in BigIntOpsBase semgrep #8856: Commit 35d8cd7 pushed by karoliineh
January 15, 2024 19:14 36s z-module
z-module
January 15, 2024 19:14 36s
Use Z module directly semgrep #8855: Pull request #1329 synchronize by karoliineh
January 15, 2024 13:22 34s z-module
z-module
January 15, 2024 13:22 34s
Address semgrep findings semgrep #8854: Commit d627cdc pushed by karoliineh
January 15, 2024 13:22 38s z-module
z-module
January 15, 2024 13:22 38s
Use Z module directly semgrep #8853: Pull request #1329 opened by karoliineh
January 15, 2024 13:09 45s z-module
z-module
January 15, 2024 13:09 45s
Remove Ints_t from Congurence and use Z directly semgrep #8852: Commit f6e991c pushed by karoliineh
January 15, 2024 13:08 51s z-module
z-module
January 15, 2024 13:08 51s
Support for inline assembler & goto instructions in inline assembler semgrep #8851: Pull request #1326 synchronize by WernerDrasche
January 15, 2024 11:38 41s N0W0RK:master
N0W0RK:master
January 15, 2024 11:38 41s
Linear Two-Variable Equalities Analysis semgrep #8850: Pull request #1297 synchronize by reb-ddm
January 15, 2024 10:22 39s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
January 15, 2024 10:22 39s
Linear Two-Variable Equalities Analysis semgrep #8849: Pull request #1297 synchronize by reb-ddm
January 15, 2024 10:21 36s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
January 15, 2024 10:21 36s
Linear Two-Variable Equalities Analysis semgrep #8848: Pull request #1297 synchronize by reb-ddm
January 15, 2024 09:57 38s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
January 15, 2024 09:57 38s
Linear Two-Variable Equalities Analysis semgrep #8847: Pull request #1297 synchronize by reb-ddm
January 15, 2024 08:56 38s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
January 15, 2024 08:56 38s
Merge branch 'master' into evalfun-ptranal semgrep #8845: Commit aada1c9 pushed by michael-schwarz
January 13, 2024 17:14 37s evalfun-ptranal
evalfun-ptranal
January 13, 2024 17:14 37s
Add CIL's ptranal for EvalFunvar queries semgrep #8844: Pull request #1063 synchronize by michael-schwarz
January 13, 2024 17:14 41s evalfun-ptranal
evalfun-ptranal
January 13, 2024 17:14 41s
Merge pull request #1327 from goblint/affeq_witnesses semgrep #8843: Commit c0c8960 pushed by michael-schwarz
January 13, 2024 15:40 37s master
master
January 13, 2024 15:40 37s
Rm spurious parens semgrep #8841: Commit a521bdf pushed by michael-schwarz
January 12, 2024 16:02 38s affeq_witnesses
affeq_witnesses
January 12, 2024 16:02 38s
affeq: Fix array OOB in invariant semgrep #8842: Pull request #1327 synchronize by michael-schwarz
January 12, 2024 16:02 50s affeq_witnesses
affeq_witnesses
January 12, 2024 16:02 50s
Consider Alloca everywhere where Malloc, Calloc and Realloc are handled semgrep #8840: Pull request #1324 synchronize by karoliineh
January 12, 2024 14:37 42s alloca
alloca
January 12, 2024 14:37 42s
Revert "Consider alloca in special in memLeak" semgrep #8839: Commit 2c580b1 pushed by karoliineh
January 12, 2024 14:37 41s alloca
alloca
January 12, 2024 14:37 41s
Support for inline assembler & goto instructions in inline assembler semgrep #8838: Pull request #1326 synchronize by WernerDrasche
January 12, 2024 14:20 38s N0W0RK:master
N0W0RK:master
January 12, 2024 14:20 38s