Skip to content

Actions: goblint/analyzer

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
432 workflow run results
432 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix trace calls outside of if tracing indentation #8062: Commit d0e9064 pushed by michael-schwarz
September 19, 2023 19:49 6m 6s master
master
September 19, 2023 19:49 6m 6s
Fix trace calls outside of if tracing semgrep #7752: Commit d0e9064 pushed by michael-schwarz
September 19, 2023 19:49 51s master
master
September 19, 2023 19:49 51s
Fix trace calls outside of if tracing locked #8345: Commit d0e9064 pushed by michael-schwarz
September 19, 2023 19:49 46m 24s master
master
September 19, 2023 19:49 46m 24s
Fix trace calls outside of if tracing options #6081: Commit d0e9064 pushed by michael-schwarz
September 19, 2023 19:49 19s master
master
September 19, 2023 19:49 19s
Fix trace calls outside of if tracing docs #112: Commit d0e9064 pushed by michael-schwarz
September 19, 2023 19:49 11m 49s master
master
September 19, 2023 19:49 11m 49s
Fix NULL and unknown pointer handling in MayPointTo and ReachableFrom for race analysis indentation #8061: Pull request #1176 opened by sim642
September 19, 2023 14:50 3s race-null
race-null
September 19, 2023 14:50 3s
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
race-null
September 19, 2023 14:50 34m 50s
Fix NULL and unknown pointer handling in MayPointTo and ReachableFrom for race analysis options #6080: Pull request #1176 opened by sim642
September 19, 2023 14:50 20s race-null
race-null
September 19, 2023 14:50 20s
Fix NULL and unknown pointer handling in MayPointTo and ReachableFrom for race analysis coverage #467: Pull request #1176 opened by sim642
September 19, 2023 14:50 19m 37s race-null
race-null
September 19, 2023 14:50 19m 37s
Fix NULL and unknown pointer handling in MayPointTo and ReachableFrom for race analysis semgrep #7751: Pull request #1176 opened by sim642
September 19, 2023 14:50 51s race-null
race-null
September 19, 2023 14:50 51s
Fix ReachableFrom precision loss with int argument in 68-longjmp/41-p… indentation #8060: Commit 204594e pushed by sim642
September 19, 2023 14:45 6m 9s race-null
race-null
September 19, 2023 14:45 6m 9s
Fix ReachableFrom precision loss with int argument in 68-longjmp/41-p… options #6079: Commit 204594e pushed by sim642
September 19, 2023 14:45 1m 35s race-null
race-null
September 19, 2023 14:45 1m 35s
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
race-null
September 19, 2023 14:45 47m 37s
Fix ReachableFrom precision loss with int argument in 68-longjmp/41-p… semgrep #7750: Commit 204594e pushed by sim642
September 19, 2023 14:45 46s race-null
race-null
September 19, 2023 14:45 46s
Add and fix library functions for Concrat benchmarks coverage #466: Pull request #1174 synchronize by sim642
September 19, 2023 12:06 18m 25s libfuns-concrat
libfuns-concrat
September 19, 2023 12:06 18m 25s
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
libfuns-concrat
September 19, 2023 12:06 39m 52s
Add and fix library functions for Concrat benchmarks indentation #8059: Pull request #1174 synchronize by sim642
September 19, 2023 12:06 6m 11s libfuns-concrat
libfuns-concrat
September 19, 2023 12:06 6m 11s
Add and fix library functions for Concrat benchmarks semgrep #7749: Pull request #1174 synchronize by sim642
September 19, 2023 12:06 52s libfuns-concrat
libfuns-concrat
September 19, 2023 12:06 52s
Add and fix library functions for Concrat benchmarks options #6078: Pull request #1174 synchronize by sim642
September 19, 2023 12:06 32s libfuns-concrat
libfuns-concrat
September 19, 2023 12:06 32s
Add some missing library functions for shairport semgrep #7748: Commit a4772d6 pushed by sim642
September 19, 2023 12:06 44s libfuns-concrat
libfuns-concrat
September 19, 2023 12:06 44s
Add some missing library functions for shairport indentation #8058: Commit a4772d6 pushed by sim642
September 19, 2023 12:06 6m 37s libfuns-concrat
libfuns-concrat
September 19, 2023 12:06 6m 37s
Add some missing library functions for shairport options #6077: Commit a4772d6 pushed by sim642
September 19, 2023 12:06 24s libfuns-concrat
libfuns-concrat
September 19, 2023 12:06 24s
Add some missing library functions for shairport locked #8341: Commit a4772d6 pushed by sim642
September 19, 2023 12:06 33m 8s libfuns-concrat
libfuns-concrat
September 19, 2023 12:06 33m 8s
Remove VFB and B domains indentation #8057: Commit 0d4d713 pushed by karoliineh
September 19, 2023 11:46 6m 59s region-mallocfresh-try2
region-mallocfresh-try2
September 19, 2023 11:46 6m 59s
Remove VFB and B domains semgrep #7747: Commit 0d4d713 pushed by karoliineh
September 19, 2023 11:46 42s region-mallocfresh-try2
region-mallocfresh-try2
September 19, 2023 11:46 42s