Skip to content

Actions: goblint/analyzer

Actions

locked

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
locked.yml
86 workflow run results
86 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Support stack-allocating functions when allocating heap vars locked #8456: Pull request #1179 synchronize by mrstanb
September 29, 2023 08:21 39m 59s mrstanb:stack-allocating-functions-precision
mrstanb:stack-allocating-functions-precision
September 29, 2023 08:21 39m 59s
locked locked #8455: Scheduled
September 29, 2023 02:00 2h 20m 57s master
master
September 29, 2023 02:00 2h 20m 57s
Remove context from noloc and final messages locked #8454: Commit 3c7555b pushed by sim642
September 28, 2023 13:41 33m 13s final-errors
final-errors
September 28, 2023 13:41 33m 13s
Spawn threads created from unknown functions as non-unique locked #8453: Pull request #1187 synchronize by michael-schwarz
September 28, 2023 12:04 49m 16s issue_843
issue_843
September 28, 2023 12:04 49m 16s
Add check that only one mainfun is specified to privatizations locked #8452: Commit b718e46 pushed by michael-schwarz
September 28, 2023 12:04 38m 20s issue_843
issue_843
September 28, 2023 12:04 38m 20s
Spawn threads created from unknown functions as non-unique locked #8451: Pull request #1187 synchronize by michael-schwarz
September 28, 2023 11:54 39m 55s issue_843
issue_843
September 28, 2023 11:54 39m 55s
Add example for race despite uniqueness counter locked #8450: Commit 44ef084 pushed by michael-schwarz
September 28, 2023 11:54 39m 45s issue_843
issue_843
September 28, 2023 11:54 39m 45s
Spawn threads created from unknown functions as non-unique locked #8449: Pull request #1187 synchronize by michael-schwarz
September 28, 2023 11:48 32m 3s issue_843
issue_843
September 28, 2023 11:48 32m 3s
Also pass to threadspawn for history TID + uniqueness locked #8448: Commit 7ebddbc pushed by michael-schwarz
September 28, 2023 11:48 32m 46s issue_843
issue_843
September 28, 2023 11:48 32m 46s
Merge pull request #1196 from mrstanb/fix-blobsize-query locked #8447: Commit cb500ed pushed by sim642
September 28, 2023 10:45 32m 26s master
master
September 28, 2023 10:45 32m 26s
Fix BlobSize query compare locked #8446: Pull request #1196 opened by mrstanb
September 28, 2023 10:02 39m 54s mrstanb:fix-blobsize-query
mrstanb:fix-blobsize-query
September 28, 2023 10:02 39m 54s
Add reachability timing locked #8445: Commit dd2a70b pushed by sim642
September 28, 2023 09:41 32m 46s master
master
September 28, 2023 09:41 32m 46s
Add MemOOB to goblint_lib.ml (PR #1094) locked #8444: Commit eb674b7 pushed by michael-schwarz
September 28, 2023 08:42 39m 5s master
master
September 28, 2023 08:42 39m 5s
Merge pull request #1094 from mrstanb/mem-oob-analysis locked #8443: Commit 6701f5d pushed by michael-schwarz
September 28, 2023 08:37 35m 47s master
master
September 28, 2023 08:37 35m 47s
Memory Out-Of-Bounds Access Analysis locked #8442: Pull request #1094 synchronize by michael-schwarz
September 28, 2023 07:49 31m 19s mrstanb:mem-oob-analysis
mrstanb:mem-oob-analysis
September 28, 2023 07:49 31m 19s
locked locked #8441: Scheduled
September 28, 2023 02:00 2h 18m 18s master
master
September 28, 2023 02:00 2h 18m 18s
Merge pull request #1144 from goblint/queries-ad-cont locked #8440: Commit f982bc9 pushed by sim642
September 27, 2023 13:45 26m 57s master
master
September 27, 2023 13:45 26m 57s
Fix pthread-lock-return test on OSX locked #8439: Commit 7f9ec9a pushed by sim642
September 27, 2023 13:03 34m 22s master
master
September 27, 2023 13:03 34m 22s
Memory Out-Of-Bounds Access Analysis locked #8438: Pull request #1094 synchronize by mrstanb
September 27, 2023 12:45 27m 24s mrstanb:mem-oob-analysis
mrstanb:mem-oob-analysis
September 27, 2023 12:45 27m 24s
Merge pull request #1176 from goblint/race-null locked #8437: Commit 138a482 pushed by sim642
September 27, 2023 10:37 29m 47s master
master
September 27, 2023 10:37 29m 47s
Merge pull request #1174 from goblint/libfuns-concrat locked #8436: Commit 631888e pushed by sim642
September 27, 2023 10:35 22m 16s master
master
September 27, 2023 10:35 22m 16s
Remove TODO annotations from passing checks locked #8435: Commit eb97eca pushed by sim642
September 27, 2023 08:26 39m 4s master
master
September 27, 2023 08:26 39m 4s
Make single_vf and single_bullet into functions locked #8434: Commit f235122 pushed by karoliineh
September 27, 2023 07:56 30m 41s region-mallocfresh-try2
region-mallocfresh-try2
September 27, 2023 07:56 30m 41s
locked locked #8433: Scheduled
September 27, 2023 02:01 2h 18m 50s master
master
September 27, 2023 02:01 2h 18m 50s
Improve multi-threaded UAF analysis and add SVComp result generation locked #8432: Pull request #1123 synchronize by mrstanb
September 26, 2023 15:23 41m 0s mrstanb:improve-uaf-analysis
mrstanb:improve-uaf-analysis
September 26, 2023 15:23 41m 0s