Skip to content

Actions: goblint/analyzer

Actions

semgrep

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
semgrep.yml
83 workflow run results
83 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Data-race challenges extracted from benchmarks semgrep #7773: Pull request #1178 synchronize by sim642
September 20, 2023 13:26 44s race-challenges
race-challenges
September 20, 2023 13:26 44s
Extract symbolic-thread-array-init from silver searcher semgrep #7772: Commit 34277f4 pushed by sim642
September 20, 2023 13:26 50s race-challenges
race-challenges
September 20, 2023 13:26 50s
Data-race challenges extracted from benchmarks semgrep #7771: Pull request #1178 synchronize by sim642
September 20, 2023 12:31 54s race-challenges
race-challenges
September 20, 2023 12:31 54s
Extract atomic-gcc-norace example from klib semgrep #7770: Commit ae8adff pushed by sim642
September 20, 2023 12:31 1m 8s race-challenges
race-challenges
September 20, 2023 12:31 1m 8s
Data-race challenges extracted from benchmarks semgrep #7769: Pull request #1178 synchronize by sim642
September 20, 2023 12:09 46s race-challenges
race-challenges
September 20, 2023 12:09 46s
Extract symbolic-thread-array-inc example from ProcDump-for-Linux semgrep #7768: Commit 99294e4 pushed by sim642
September 20, 2023 12:09 57s race-challenges
race-challenges
September 20, 2023 12:09 57s
Data-race challenges extracted from benchmarks semgrep #7767: Pull request #1178 synchronize by sim642
September 20, 2023 11:25 52s race-challenges
race-challenges
September 20, 2023 11:25 52s
Extract symbolic-thread-array-bitmask example from nnn semgrep #7766: Commit 9aceae1 pushed by sim642
September 20, 2023 11:25 49s race-challenges
race-challenges
September 20, 2023 11:25 49s
Data-race challenges extracted from benchmarks semgrep #7765: Pull request #1178 synchronize by sim642
September 20, 2023 10:55 41s race-challenges
race-challenges
September 20, 2023 10:55 41s
Mention snoopy in symbolic-thread-struct example semgrep #7764: Commit be1bdf9 pushed by sim642
September 20, 2023 10:55 47s race-challenges
race-challenges
September 20, 2023 10:55 47s
Data-race challenges extracted from benchmarks semgrep #7763: Pull request #1178 synchronize by sim642
September 20, 2023 10:01 2m 47s race-challenges
race-challenges
September 20, 2023 10:01 2m 47s
Extract value-barrier-norace example from silver searcher semgrep #7762: Commit 2121eb0 pushed by sim642
September 20, 2023 10:01 2m 53s race-challenges
race-challenges
September 20, 2023 10:01 2m 53s
Data-race challenges extracted from benchmarks semgrep #7761: Pull request #1178 synchronize by sim642
September 20, 2023 09:44 1m 13s race-challenges
race-challenges
September 20, 2023 09:44 1m 13s
Extract thread-local-value examples from silver searcher semgrep #7760: Commit 16aa15f pushed by sim642
September 20, 2023 09:44 44s race-challenges
race-challenges
September 20, 2023 09:44 44s
Data-race challenges extracted from benchmarks semgrep #7759: Pull request #1178 opened by sim642
September 20, 2023 09:22 47s race-challenges
race-challenges
September 20, 2023 09:22 47s
Extract thread-binomial-join example from fzy semgrep #7758: Commit dbb4e9e pushed by sim642
September 20, 2023 09:19 40s race-challenges
race-challenges
September 20, 2023 09:19 40s
Extract thread-alive-counter-outer example from nnn semgrep #7757: Commit b0bc3ad pushed by sim642
September 20, 2023 08:38 53s race-challenges
race-challenges
September 20, 2023 08:38 53s
Extract thread-const-array-join example from level-ip semgrep #7756: Commit 4800dc2 pushed by sim642
September 20, 2023 08:20 42s race-challenges
race-challenges
September 20, 2023 08:20 42s
Extract thread-alive-counter example from C-Thread-Pool semgrep #7755: Commit beaa91f pushed by sim642
September 20, 2023 08:05 47s race-challenges
race-challenges
September 20, 2023 08:05 47s
Add and fix library functions for Concrat benchmarks semgrep #7754: Pull request #1174 synchronize by sim642
September 20, 2023 07:26 46s libfuns-concrat
libfuns-concrat
September 20, 2023 07:26 46s
Add test for atexit soundness semgrep #7753: Commit 71035d2 pushed by sim642
September 20, 2023 07:26 55s libfuns-concrat
libfuns-concrat
September 20, 2023 07:26 55s
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 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… 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 semgrep #7749: Pull request #1174 synchronize by sim642
September 19, 2023 12:06 52s libfuns-concrat
libfuns-concrat
September 19, 2023 12:06 52s