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

Remove context from noloc and final messages semgrep #7852: Commit 3c7555b pushed by sim642
September 28, 2023 13:41 49s final-errors
final-errors
September 28, 2023 13:41 49s
Spawn threads created from unknown functions as non-unique semgrep #7851: Pull request #1187 synchronize by michael-schwarz
September 28, 2023 12:04 1m 7s issue_843
issue_843
September 28, 2023 12:04 1m 7s
Add check that only one mainfun is specified to privatizations semgrep #7850: Commit b718e46 pushed by michael-schwarz
September 28, 2023 12:04 52s issue_843
issue_843
September 28, 2023 12:04 52s
Spawn threads created from unknown functions as non-unique semgrep #7849: Pull request #1187 synchronize by michael-schwarz
September 28, 2023 11:54 43s issue_843
issue_843
September 28, 2023 11:54 43s
Add example for race despite uniqueness counter semgrep #7848: Commit 44ef084 pushed by michael-schwarz
September 28, 2023 11:54 53s issue_843
issue_843
September 28, 2023 11:54 53s
Spawn threads created from unknown functions as non-unique semgrep #7847: Pull request #1187 synchronize by michael-schwarz
September 28, 2023 11:48 45s issue_843
issue_843
September 28, 2023 11:48 45s
Also pass to threadspawn for history TID + uniqueness semgrep #7846: Commit 7ebddbc pushed by michael-schwarz
September 28, 2023 11:48 58s issue_843
issue_843
September 28, 2023 11:48 58s
Merge pull request #1196 from mrstanb/fix-blobsize-query semgrep #7845: Commit cb500ed pushed by sim642
September 28, 2023 10:45 53s master
master
September 28, 2023 10:45 53s
Fix BlobSize query compare semgrep #7844: Pull request #1196 opened by mrstanb
September 28, 2023 10:02 59s mrstanb:fix-blobsize-query
mrstanb:fix-blobsize-query
September 28, 2023 10:02 59s
Add reachability timing semgrep #7843: Commit dd2a70b pushed by sim642
September 28, 2023 09:41 53s master
master
September 28, 2023 09:41 53s
Add MemOOB to goblint_lib.ml (PR #1094) semgrep #7842: Commit eb674b7 pushed by michael-schwarz
September 28, 2023 08:42 53s master
master
September 28, 2023 08:42 53s
Merge pull request #1094 from mrstanb/mem-oob-analysis semgrep #7841: Commit 6701f5d pushed by michael-schwarz
September 28, 2023 08:37 1m 7s master
master
September 28, 2023 08:37 1m 7s
Memory Out-Of-Bounds Access Analysis semgrep #7840: Pull request #1094 synchronize by michael-schwarz
September 28, 2023 07:49 59s mrstanb:mem-oob-analysis
mrstanb:mem-oob-analysis
September 28, 2023 07:49 59s
Merge pull request #1144 from goblint/queries-ad-cont semgrep #7839: Commit f982bc9 pushed by sim642
September 27, 2023 13:45 46s master
master
September 27, 2023 13:45 46s
Fix pthread-lock-return test on OSX semgrep #7838: Commit 7f9ec9a pushed by sim642
September 27, 2023 13:03 50s master
master
September 27, 2023 13:03 50s
Memory Out-Of-Bounds Access Analysis semgrep #7837: Pull request #1094 synchronize by mrstanb
September 27, 2023 12:45 48s mrstanb:mem-oob-analysis
mrstanb:mem-oob-analysis
September 27, 2023 12:45 48s
Merge pull request #1176 from goblint/race-null semgrep #7836: Commit 138a482 pushed by sim642
September 27, 2023 10:37 44s master
master
September 27, 2023 10:37 44s
Merge pull request #1174 from goblint/libfuns-concrat semgrep #7835: Commit 631888e pushed by sim642
September 27, 2023 10:35 45s master
master
September 27, 2023 10:35 45s
Remove TODO annotations from passing checks semgrep #7834: Commit eb97eca pushed by sim642
September 27, 2023 08:26 55s master
master
September 27, 2023 08:26 55s
Make single_vf and single_bullet into functions semgrep #7833: Commit f235122 pushed by karoliineh
September 27, 2023 07:56 48s region-mallocfresh-try2
region-mallocfresh-try2
September 27, 2023 07:56 48s
Improve multi-threaded UAF analysis and add SVComp result generation semgrep #7832: Pull request #1123 synchronize by mrstanb
September 26, 2023 15:23 51s mrstanb:improve-uaf-analysis
mrstanb:improve-uaf-analysis
September 26, 2023 15:23 51s
Exclude free-free accesses from racing semgrep #7831: Pull request #1193 opened by sim642
September 26, 2023 15:16 47s free-free-norace
free-free-norace
September 26, 2023 15:16 47s
Memory Out-Of-Bounds Access Analysis semgrep #7830: Pull request #1094 synchronize by mrstanb
September 26, 2023 15:11 57s mrstanb:mem-oob-analysis
mrstanb:mem-oob-analysis
September 26, 2023 15:11 57s
Refactor Access.may_race with match semgrep #7829: Commit 23863e5 pushed by sim642
September 26, 2023 15:09 44s free-free-norace
free-free-norace
September 26, 2023 15:09 44s
Use AddressDomain for queries semgrep #7828: Pull request #1144 synchronize by sim642
September 26, 2023 14:45 57s queries-ad-cont
queries-ad-cont
September 26, 2023 14:45 57s