Skip to content

Actions: Red-Panda64/goblint-analyzer

Actions

semgrep

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
semgrep.yml
104 workflow runs
104 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Hopefully make intent a little clearer semgrep #104: Commit c4fbf74 pushed by michael-schwarz
February 13, 2025 16:00 45s feature/divide-and-narrow
feature/divide-and-narrow
February 13, 2025 16:00 45s
Indentation semgrep #103: Commit efb4f4c pushed by michael-schwarz
February 13, 2025 15:54 46s feature/divide-and-narrow
feature/divide-and-narrow
February 13, 2025 15:54 46s
Simplify semgrep #102: Commit 1585943 pushed by michael-schwarz
February 13, 2025 14:02 43s feature/divide-and-narrow
feature/divide-and-narrow
February 13, 2025 14:02 43s
Simplify ana.base.priv.protection.changes-only check semgrep #101: Commit 670a3bf pushed by michael-schwarz
February 13, 2025 13:05 46s feature/divide-and-narrow
feature/divide-and-narrow
February 13, 2025 13:05 46s
Simplify semgrep #100: Commit bac638f pushed by michael-schwarz
February 13, 2025 13:00 46s feature/divide-and-narrow
feature/divide-and-narrow
February 13, 2025 13:00 46s
Merge branch 'master' into feature/divide-and-narrow semgrep #99: Commit f49e806 pushed by michael-schwarz
February 13, 2025 12:30 45s feature/divide-and-narrow
feature/divide-and-narrow
February 13, 2025 12:30 45s
Undo whitespace changes semgrep #98: Commit a76946d pushed by michael-schwarz
February 12, 2025 10:13 44s widening-gas
widening-gas
February 12, 2025 10:13 44s
Use pretty_wpoint semgrep #97: Commit 06e6e03 pushed by michael-schwarz
February 12, 2025 10:09 52s widening-gas
widening-gas
February 12, 2025 10:09 52s
Change TD3 solchange tracing to be based on actual widening choice semgrep #96: Commit 8103ced pushed by sim642
February 11, 2025 16:07 47s widening-gas
widening-gas
February 11, 2025 16:07 47s
mini refactor semgrep #95: Commit 5037570 pushed by Red-Panda64
December 3, 2024 14:43 43s feature/divide-and-narrow
feature/divide-and-narrow
December 3, 2024 14:43 43s
fix whitespace errors semgrep #94: Commit 493732e pushed by Red-Panda64
December 3, 2024 13:19 46s widening-gas
widening-gas
December 3, 2024 13:19 46s
remove unnecessary orphan side effect handling semgrep #93: Commit 58c107f pushed by Red-Panda64
December 3, 2024 13:07 43s feature/divide-and-narrow
feature/divide-and-narrow
December 3, 2024 13:07 43s
set meaningful default for narrow gas semgrep #92: Commit 30df0e8 pushed by Red-Panda64
December 2, 2024 14:53 44s feature/divide-and-narrow
feature/divide-and-narrow
December 2, 2024 14:53 44s
rename test directory semgrep #91: Commit d85ad23 pushed by Red-Panda64
December 2, 2024 14:22 53s feature/divide-and-narrow
feature/divide-and-narrow
December 2, 2024 14:22 53s
rename test directory semgrep #90: Commit 165296f pushed by Red-Panda64
December 2, 2024 14:15 49s feature/divide-and-narrow
feature/divide-and-narrow
December 2, 2024 14:15 49s
Fix thread for non-unique spawns semgrep #89: Commit c4c5b13 pushed by Red-Panda64
November 3, 2024 17:33 41s widening-gas-divide-and-narrow-apinis
widening-gas-divide-and-narrow-apinis
November 3, 2024 17:33 41s
comparison: filter only concurrency related globals semgrep #88: Commit 3a17672 pushed by Red-Panda64
November 2, 2024 13:55 51s widening-gas-divide-and-narrow-apinis
widening-gas-divide-and-narrow-apinis
November 2, 2024 13:55 51s
implement simple apinis-esque update rule semgrep #87: Commit 03ba603 pushed by Red-Panda64
October 8, 2024 11:31 53s widening-gas-divide-and-narrow-apinis
widening-gas-divide-and-narrow-apinis
October 8, 2024 11:31 53s
always output memory usage after solving semgrep #86: Commit f7e04fb pushed by Red-Panda64
September 16, 2024 14:55 49s widening-gas-divide-and-narrow
widening-gas-divide-and-narrow
September 16, 2024 14:55 49s
emit additional info on contributions from/to dead unknowns semgrep #85: Commit a6d93a7 pushed by Red-Panda64
September 3, 2024 17:06 43s widening-gas-divide-and-narrow-stats
widening-gas-divide-and-narrow-stats
September 3, 2024 17:06 43s
fix: counting of function entries for botification semgrep #84: Commit b560b0e pushed by Red-Panda64
September 3, 2024 17:04 39s widening-gas-divide-and-narrow-stats
widening-gas-divide-and-narrow-stats
September 3, 2024 17:04 39s
fix narrow-gas for non-immediate growth semgrep #83: Commit 4f72b2a pushed by Red-Panda64
August 16, 2024 08:43 44s divide-and-narrow
divide-and-narrow
August 16, 2024 08:43 44s
remove duplicate tests semgrep #82: Commit 0ced21a pushed by Red-Panda64
July 15, 2024 14:17 40s divide-and-narrow-transfer-functions
divide-and-narrow-transfer-functions
July 15, 2024 14:17 40s
only store prev_sides when non-empty semgrep #81: Commit 1708801 pushed by Red-Panda64
July 15, 2024 14:10 54s divide-and-narrow
divide-and-narrow
July 15, 2024 14:10 54s
remove duplicate tests semgrep #80: Commit 23c4be0 pushed by Red-Panda64
July 11, 2024 16:42 45s divide-and-narrow-transfer-functions
divide-and-narrow-transfer-functions
July 11, 2024 16:42 45s