Skip to content

Actions: goblint/analyzer

Actions

semgrep

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
semgrep.yml
808 workflow run results
808 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'priv-atomic' into priv-atomic-disjunctive semgrep #8940: Commit 228a0a8 pushed by sim642
January 25, 2024 15:24 44s priv-atomic-disjunctive
priv-atomic-disjunctive
January 25, 2024 15:24 44s
Merge pull request #1335 from goblint/issue-1249 semgrep #8939: Commit c0e151d pushed by sim642
January 25, 2024 14:30 42s master
master
January 25, 2024 14:30 42s
Support for inline assembler & goto instructions in inline assembler semgrep #8938: Pull request #1326 synchronize by WernerDrasche
January 25, 2024 13:44 43s N0W0RK:master
N0W0RK:master
January 25, 2024 13:44 43s
Add some hacky atomic privatizations semgrep #8936: Pull request #1216 synchronize by sim642
January 25, 2024 11:53 41s priv-atomic
priv-atomic
January 25, 2024 11:53 41s
Make mutex-meet-tid-atomic more precise for no-write unlocks semgrep #8935: Commit 67558f4 pushed by sim642
January 25, 2024 11:53 39s priv-atomic
priv-atomic
January 25, 2024 11:53 39s
Add some hacky atomic privatizations semgrep #8934: Pull request #1216 synchronize by sim642
January 25, 2024 11:19 58s priv-atomic
priv-atomic
January 25, 2024 11:19 58s
Add case_distinction_with_ghosts variant where reads publish to unpro… semgrep #8933: Commit 45555ad pushed by sim642
January 25, 2024 11:19 54s priv-atomic
priv-atomic
January 25, 2024 11:19 54s
Support for inline assembler & goto instructions in inline assembler semgrep #8929: Pull request #1326 synchronize by N0W0RK
January 25, 2024 09:58 44s N0W0RK:master
N0W0RK:master
January 25, 2024 09:58 44s
Fix NullPtr assignment crash in relation analysis semgrep #8926: Pull request #1335 opened by sim642
January 24, 2024 15:20 42s issue-1249
issue-1249
January 24, 2024 15:20 42s
Fix NullPtr assignment crash in relation analysis semgrep #8925: Commit 0c72edd pushed by sim642
January 24, 2024 15:16 40s issue-1249
issue-1249
January 24, 2024 15:16 40s
Exclude Goblint stubs from YAML witnesses semgrep #8924: Pull request #1334 opened by sim642
January 24, 2024 12:42 46s freiburg-witness-fixes
freiburg-witness-fixes
January 24, 2024 12:42 46s
Exclude Goblint stubs from YAML witnesses semgrep #8923: Commit 20c500f pushed by sim642
January 24, 2024 12:32 36s freiburg-witness-fixes
freiburg-witness-fixes
January 24, 2024 12:32 36s
Merge pull request #1308 from goblint/issue-1266 semgrep #8922: Commit 71e21b2 pushed by sim642
January 24, 2024 11:04 44s master
master
January 24, 2024 11:04 44s
Merge pull request #1332 from goblint/unassume-artifact semgrep #8921: Commit d82f710 pushed by sim642
January 24, 2024 11:01 36s master
master
January 24, 2024 11:01 36s
Merge pull request #1233 from goblint/concrat-both-branches semgrep #8920: Commit 2b98818 pushed by sim642
January 24, 2024 10:59 38s master
master
January 24, 2024 10:59 38s
Use incr in CilCfg.countLoopsVisitor semgrep #8919: Commit 96a57a2 pushed by sim642
January 24, 2024 10:22 39s master
master
January 24, 2024 10:22 39s
Enhance detection of buffer overflows by introducing variable for length of array/blob semgrep #8918: Pull request #1330 synchronize by FungOliver
January 24, 2024 03:11 40s FungOliver:relationalArray
FungOliver:relationalArray
January 24, 2024 03:11 40s
Enhance detection of buffer overflows by introducing variable for length of array/blob semgrep #8917: Pull request #1330 synchronize by FungOliver
January 24, 2024 03:01 39s FungOliver:relationalArray
FungOliver:relationalArray
January 24, 2024 03:01 39s
Enhance detection of buffer overflows by introducing variable for length of array/blob semgrep #8916: Pull request #1330 synchronize by FungOliver
January 24, 2024 02:56 37s FungOliver:relationalArray
FungOliver:relationalArray
January 24, 2024 02:56 37s
Enhance detection of buffer overflows by introducing variable for length of array/blob semgrep #8915: Pull request #1330 synchronize by FungOliver
January 24, 2024 02:55 38s FungOliver:relationalArray
FungOliver:relationalArray
January 24, 2024 02:55 38s
Enhance detection of buffer overflows by introducing variable for length of array/blob semgrep #8914: Pull request #1330 synchronize by FungOliver
January 24, 2024 02:52 38s FungOliver:relationalArray
FungOliver:relationalArray
January 24, 2024 02:52 38s
Enhance detection of buffer overflows by introducing variable for length of array/blob semgrep #8913: Pull request #1330 synchronize by FungOliver
January 24, 2024 02:51 42s FungOliver:relationalArray
FungOliver:relationalArray
January 24, 2024 02:51 42s
Enhance detection of buffer overflows by introducing variable for length of array/blob semgrep #8912: Pull request #1330 synchronize by FungOliver
January 24, 2024 02:49 38s FungOliver:relationalArray
FungOliver:relationalArray
January 24, 2024 02:49 38s
Enhance detection of buffer overflows by introducing variable for length of array/blob semgrep #8911: Pull request #1330 synchronize by FungOliver
January 24, 2024 02:42 42s FungOliver:relationalArray
FungOliver:relationalArray
January 24, 2024 02:42 42s
Enhance detection of buffer overflows by introducing variable for length of array/blob semgrep #8910: Pull request #1330 synchronize by FungOliver
January 24, 2024 02:10 13m 10s FungOliver:relationalArray
FungOliver:relationalArray
January 24, 2024 02:10 13m 10s