Skip to content

Actions: goblint/analyzer

Actions

semgrep

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
semgrep.yml
1,408 workflow run results
1,408 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #1347 from goblint/evalfunvar-dead semgrep #9003: Commit 5224948 pushed by sim642
January 29, 2024 13:53 41s master
master
January 29, 2024 13:53 41s
Add some hacky atomic privatizations semgrep #9002: Pull request #1216 synchronize by sim642
January 29, 2024 13:52 36s priv-atomic
priv-atomic
January 29, 2024 13:52 36s
Remove commented out code in RelationPriv.PerMutexMeetPrivTID.write_g… semgrep #9001: Commit ae5c42e pushed by sim642
January 29, 2024 13:52 38s priv-atomic
priv-atomic
January 29, 2024 13:52 38s
Refine Points-To set on locking a mutex semgrep #9000: Pull request #1343 synchronize by michael-schwarz
January 29, 2024 13:35 37s issue_1287
issue_1287
January 29, 2024 13:35 37s
Move to pre-existing folder semgrep #8999: Commit 3e9d7f1 pushed by michael-schwarz
January 29, 2024 13:35 38s issue_1287
issue_1287
January 29, 2024 13:35 38s
Merge pull request #1329 from goblint/z-module semgrep #8998: Commit 9178c43 pushed by sim642
January 29, 2024 13:20 37s master
master
January 29, 2024 13:20 37s
Merge pull request #1324 from goblint/alloca semgrep #8997: Commit a495645 pushed by sim642
January 29, 2024 13:19 31s master
master
January 29, 2024 13:19 31s
Fix no function to call warnings on dead code semgrep #8996: Pull request #1347 opened by sim642
January 29, 2024 13:17 34s evalfunvar-dead
evalfunvar-dead
January 29, 2024 13:17 34s
Fix no function to call warnings on dead code semgrep #8995: Commit 82c9f97 pushed by sim642
January 29, 2024 13:13 42s evalfunvar-dead
evalfunvar-dead
January 29, 2024 13:13 42s
Add some hacky atomic privatizations semgrep #8994: Pull request #1216 synchronize by sim642
January 29, 2024 12:45 41s priv-atomic
priv-atomic
January 29, 2024 12:45 41s
Update __goblint_globalize documentation semgrep #8993: Commit 3bafccb pushed by sim642
January 29, 2024 12:45 42s priv-atomic
priv-atomic
January 29, 2024 12:45 42s
Merge pull request #1341 from goblint/issue_1333 semgrep #8992: Commit a279b64 pushed by michael-schwarz
January 29, 2024 12:12 6m 26s master
master
January 29, 2024 12:12 6m 26s
Refine Points-To set on locking a mutex semgrep #8991: Pull request #1343 synchronize by michael-schwarz
January 29, 2024 12:11 2m 55s issue_1287
issue_1287
January 29, 2024 12:11 2m 55s
Get rid of custom event semgrep #8990: Commit c27f1bd pushed by michael-schwarz
January 29, 2024 12:11 1m 50s issue_1287
issue_1287
January 29, 2024 12:11 1m 50s
Refine Points-To set on locking a mutex semgrep #8989: Pull request #1343 synchronize by michael-schwarz
January 29, 2024 12:10 39s issue_1287
issue_1287
January 29, 2024 12:10 39s
Get rid of custom event semgrep #8988: Commit 7c3a072 pushed by michael-schwarz
January 29, 2024 12:10 37s issue_1287
issue_1287
January 29, 2024 12:10 37s
Refine Points-To set on locking a mutex semgrep #8987: Pull request #1343 synchronize by michael-schwarz
January 29, 2024 12:09 43s issue_1287
issue_1287
January 29, 2024 12:09 43s
Get rid of custom event semgrep #8986: Commit 2dd7aa0 pushed by michael-schwarz
January 29, 2024 12:09 41s issue_1287
issue_1287
January 29, 2024 12:09 41s
Merge pull request #1342 from goblint/isssue_1319 semgrep #8985: Commit 52f69f7 pushed by michael-schwarz
January 29, 2024 11:43 41s master
master
January 29, 2024 11:43 41s
Consider Alloca everywhere where Malloc, Calloc and Realloc are handled semgrep #8984: Pull request #1324 synchronize by karoliineh
January 29, 2024 11:39 38s alloca
alloca
January 29, 2024 11:39 38s
Fix AllocVar onstack=true for AllocA semgrep #8983: Commit 4303313 pushed by karoliineh
January 29, 2024 11:39 44s alloca
alloca
January 29, 2024 11:39 44s
Use Z module directly semgrep #8982: Pull request #1329 synchronize by karoliineh
January 29, 2024 11:00 41s z-module
z-module
January 29, 2024 11:00 41s
Update and add comments about log* functions semgrep #8981: Commit 67320d4 pushed by karoliineh
January 29, 2024 11:00 38s z-module
z-module
January 29, 2024 11:00 38s
rename log* -> c_log* semgrep #8979: Commit 018166e pushed by karoliineh
January 29, 2024 10:43 36s z-module
z-module
January 29, 2024 10:43 36s
Use Z module directly semgrep #8980: Pull request #1329 synchronize by karoliineh
January 29, 2024 10:43 40s z-module
z-module
January 29, 2024 10:43 40s