Skip to content

Actions: goblint/analyzer

Actions

semgrep

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
semgrep.yml
79 workflow run results
79 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'master' into queries-ad-cont semgrep #7827: Commit e718562 pushed by sim642
September 26, 2023 14:45 43s queries-ad-cont
queries-ad-cont
September 26, 2023 14:45 43s
Add final messages about unsound results semgrep #7826: Pull request #1191 synchronize by sim642
September 26, 2023 12:20 49s final-errors
final-errors
September 26, 2023 12:20 49s
Update cram tests with final messages semgrep #7825: Commit 684a74c pushed by sim642
September 26, 2023 12:20 58s final-errors
final-errors
September 26, 2023 12:20 58s
Add some library functions for zstd semgrep #7824: Commit c4bf1cc pushed by sim642
September 26, 2023 12:16 55s libfuns-zstd
libfuns-zstd
September 26, 2023 12:16 55s
Add final messages about unsound results semgrep #7823: Pull request #1191 opened by sim642
September 26, 2023 11:33 50s final-errors
final-errors
September 26, 2023 11:33 50s
Add no suitable function final message semgrep #7822: Commit a28a8ff pushed by sim642
September 26, 2023 11:31 58s final-errors
final-errors
September 26, 2023 11:31 58s
Rename single_vf -> top and empty -> bot semgrep #7821: Commit ea0b506 pushed by karoliineh
September 26, 2023 10:08 1m 43s region-mallocfresh-try2
region-mallocfresh-try2
September 26, 2023 10:08 1m 43s
Add eval_offset tracing semgrep #7820: Commit 5347c08 pushed by sim642
September 26, 2023 08:22 1m 11s master
master
September 26, 2023 08:22 1m 11s
Add zstd unsound both branches dead test semgrep #7819: Commit 810fab5 pushed by sim642
September 25, 2023 14:36 45s master
master
September 25, 2023 14:36 45s
Add eqd to TD3 tracing output semgrep #7818: Commit 23a5d83 pushed by sim642
September 25, 2023 13:30 55s master
master
September 25, 2023 13:30 55s
Spawn threads created from unknown functions as non-unique semgrep #7817: Pull request #1187 synchronize by michael-schwarz
September 25, 2023 11:07 58s issue_843
issue_843
September 25, 2023 11:07 58s
Turn optional argument into named argument semgrep #7816: Commit ccaffc5 pushed by michael-schwarz
September 25, 2023 11:07 49s issue_843
issue_843
September 25, 2023 11:07 49s
Add region interprocedural fixpoint error test semgrep #7815: Commit 16077e3 pushed by sim642
September 25, 2023 10:27 46s master
master
September 25, 2023 10:27 46s
Add conditional accesses to LibraryDsl semgrep #7814: Commit 57c5c3f pushed by sim642
September 25, 2023 08:37 1m 7s library-dsl-access-if
library-dsl-access-if
September 25, 2023 08:37 1m 7s
Add and fix library functions for Concrat benchmarks semgrep #7813: Pull request #1174 synchronize by sim642
September 25, 2023 08:27 45s libfuns-concrat
libfuns-concrat
September 25, 2023 08:27 45s
Add atexit test with spawn disabled semgrep #7812: Commit 4bc0303 pushed by sim642
September 25, 2023 08:27 47s libfuns-concrat
libfuns-concrat
September 25, 2023 08:27 47s
Add and fix library functions for Concrat benchmarks semgrep #7811: Pull request #1174 synchronize by sim642
September 25, 2023 08:01 50s libfuns-concrat
libfuns-concrat
September 25, 2023 08:01 50s
Add test for pthread locking function return values semgrep #7810: Commit 1947aae pushed by sim642
September 25, 2023 08:01 45s libfuns-concrat
libfuns-concrat
September 25, 2023 08:01 45s
Add more categories to unsound/imprecise call messages semgrep #7809: Commit 70f267b pushed by sim642
September 25, 2023 07:36 59s master
master
September 25, 2023 07:36 59s
Remove unused RegPart module semgrep #7808: Commit 8ad0161 pushed by karoliineh
September 25, 2023 07:26 1m 4s region-mallocfresh-try2
region-mallocfresh-try2
September 25, 2023 07:26 1m 4s
Spawn threads created from unknown functions as non-unique semgrep #7807: Pull request #1187 opened by michael-schwarz
September 24, 2023 15:29 56s issue_843
issue_843
September 24, 2023 15:29 56s
Spawn non-unique threads semgrep #7806: Commit a325139 pushed by michael-schwarz
September 24, 2023 15:28 45s issue_843
issue_843
September 24, 2023 15:28 45s
No shortcut for narrow and meet in HConsed when int refinement is active semgrep #7805: Pull request #1186 opened by michael-schwarz
September 24, 2023 12:31 45s issue_1005
issue_1005
September 24, 2023 12:31 45s
Make comment a bit longer semgrep #7804: Commit 2f691be pushed by michael-schwarz
September 24, 2023 12:23 58s issue_1005
issue_1005
September 24, 2023 12:23 58s
No shortcut meet and narrow w/ int refinement semgrep #7803: Commit 1116ef6 pushed by michael-schwarz
September 24, 2023 12:22 46s issue_1005
issue_1005
September 24, 2023 12:22 46s