Skip to content

Actions: goblint/analyzer

locked

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
65 workflow run results
65 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix trace calls outside of if tracing
locked #8345: Commit d0e9064 pushed by michael-schwarz
September 19, 2023 19:49 46m 24s master
September 19, 2023 19:49 46m 24s
Fix NULL and unknown pointer handling in MayPointTo and ReachableFrom for race analysis
locked #8344: Pull request #1176 opened by sim642
September 19, 2023 14:50 34m 50s race-null
September 19, 2023 14:50 34m 50s
Fix ReachableFrom precision loss with int argument in 68-longjmp/41-p…
locked #8343: Commit 204594e pushed by sim642
September 19, 2023 14:45 47m 37s race-null
September 19, 2023 14:45 47m 37s
Add and fix library functions for Concrat benchmarks
locked #8342: Pull request #1174 synchronize by sim642
September 19, 2023 12:06 39m 52s libfuns-concrat
September 19, 2023 12:06 39m 52s
Add some missing library functions for shairport
locked #8341: Commit a4772d6 pushed by sim642
September 19, 2023 12:06 33m 8s libfuns-concrat
September 19, 2023 12:06 33m 8s
Remove VFB and B domains
locked #8340: Commit 0d4d713 pushed by karoliineh
September 19, 2023 11:46 32m 29s region-mallocfresh-try2
September 19, 2023 11:46 32m 29s
Add tests for library function races via NULL
locked #8339: Commit c5136d1 pushed by sim642
September 19, 2023 11:28 30m 10s race-null
September 19, 2023 11:28 30m 10s
Fix Cilfacade.pretty_typsig_like_typ forgetting pointers from name on…
locked #8338: Commit 0f59ac9 pushed by sim642
September 19, 2023 10:50 41m 33s master
September 19, 2023 10:50 41m 33s
Move duplicated BS module definition to top
locked #8337: Commit d35519b pushed by karoliineh
September 19, 2023 10:12 31m 37s region-mallocfresh-try2
September 19, 2023 10:12 31m 37s
Merge pull request #1173 from goblint/thread-self-create
locked #8336: Commit 8ec8c31 pushed by sim642
September 19, 2023 08:13 31m 14s master
September 19, 2023 08:13 31m 14s
locked
locked #8335: Scheduled
September 19, 2023 02:01 2h 16m 45s master
September 19, 2023 02:01 2h 16m 45s
Use BoolDomain instead of SetDomain
locked #8334: Commit b64b65f pushed by karoliineh
September 18, 2023 18:47 25m 52s region-mallocfresh
September 18, 2023 18:47 25m 52s
Simplify domains in regionDomain
locked #8333: Commit 04bbbc7 pushed by karoliineh
September 18, 2023 18:47 36m 12s region-mallocfresh-try2
September 18, 2023 18:47 36m 12s
Add and fix library functions for Concrat benchmarks
locked #8332: Pull request #1174 opened by sim642
September 18, 2023 15:03 34m 17s libfuns-concrat
September 18, 2023 15:03 34m 17s
Remove old library function classify
locked #8331: Commit 4e83af9 pushed by sim642
September 18, 2023 14:51 25m 39s libfuns-concrat
September 18, 2023 14:51 25m 39s
Merge pull request #1172 from goblint/races_sjlj
locked #8330: Commit 851c6b3 pushed by michael-schwarz
September 18, 2023 14:10 39m 28s master
September 18, 2023 14:10 39m 28s
Use AddressDomain for queries
locked #8329: Pull request #1144 synchronize by karoliineh
September 18, 2023 12:48 39m 37s queries-ad-cont
September 18, 2023 12:48 39m 37s
Use VS domain instead of AD for MustProtectedVars
locked #8328: Commit 2917999 pushed by karoliineh
September 18, 2023 12:48 39m 37s queries-ad-cont
September 18, 2023 12:48 39m 37s
Null Byte Array Domain
locked #8327: Pull request #1076 synchronize by nathanschmidt
September 18, 2023 10:14 32m 5s nathanschmidt:null-byte-arrayDomain
September 18, 2023 10:14 32m 5s
Merge pull request #1142 from goblint/queries-ad
locked #8326: Commit 3666c92 pushed by sim642
September 18, 2023 09:05 1h 15m 23s master
September 18, 2023 09:05 1h 15m 23s
Use AddressDomain for MayPointTo and ReachableFrom queries
locked #8325: Pull request #1142 synchronize by sim642
September 18, 2023 09:05 41m 41s queries-ad
September 18, 2023 09:05 41m 41s
Merge branch 'master' into queries-ad
locked #8324: Commit 64a0a6f pushed by sim642
September 18, 2023 09:05 45m 55s queries-ad
September 18, 2023 09:05 45m 55s
Merge pull request #1167 from goblint/libfuns-zlib-lzma
locked #8323: Commit 4c9904a pushed by sim642
September 18, 2023 09:02 47m 57s master
September 18, 2023 09:02 47m 57s
Fix thread analysis termination with a self-creating thread
locked #8322: Pull request #1173 opened by sim642
September 18, 2023 09:01 47m 9s thread-self-create
September 18, 2023 09:01 47m 9s
Fix 10-synch/07-thread_self_create
locked #8321: Commit 2486404 pushed by sim642
September 18, 2023 08:56 52m 4s thread-self-create
September 18, 2023 08:56 52m 4s