Skip to content

Actions: goblint/analyzer

Actions

semgrep

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
semgrep.yml
56 workflow run results
56 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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
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
Add tests for library function races via NULL semgrep #7746: Commit c5136d1 pushed by sim642
September 19, 2023 11:28 55s race-null
race-null
September 19, 2023 11:28 55s
Fix Cilfacade.pretty_typsig_like_typ forgetting pointers from name on… semgrep #7745: Commit 0f59ac9 pushed by sim642
September 19, 2023 10:50 46s master
master
September 19, 2023 10:50 46s
Move duplicated BS module definition to top semgrep #7744: Commit d35519b pushed by karoliineh
September 19, 2023 10:12 49s region-mallocfresh-try2
region-mallocfresh-try2
September 19, 2023 10:12 49s
Merge pull request #1173 from goblint/thread-self-create semgrep #7743: Commit 8ec8c31 pushed by sim642
September 19, 2023 08:13 49s master
master
September 19, 2023 08:13 49s
Use BoolDomain instead of SetDomain semgrep #7742: Commit b64b65f pushed by karoliineh
September 18, 2023 18:47 51s region-mallocfresh
region-mallocfresh
September 18, 2023 18:47 51s
Simplify domains in regionDomain semgrep #7741: Commit 04bbbc7 pushed by karoliineh
September 18, 2023 18:47 54s region-mallocfresh-try2
region-mallocfresh-try2
September 18, 2023 18:47 54s
Add and fix library functions for Concrat benchmarks semgrep #7740: Pull request #1174 opened by sim642
September 18, 2023 15:03 51s libfuns-concrat
libfuns-concrat
September 18, 2023 15:03 51s
Remove old library function classify semgrep #7739: Commit 4e83af9 pushed by sim642
September 18, 2023 14:51 1m 13s libfuns-concrat
libfuns-concrat
September 18, 2023 14:51 1m 13s
Merge pull request #1172 from goblint/races_sjlj semgrep #7738: Commit 851c6b3 pushed by michael-schwarz
September 18, 2023 14:10 55s master
master
September 18, 2023 14:10 55s
Use AddressDomain for queries semgrep #7737: Pull request #1144 synchronize by karoliineh
September 18, 2023 12:48 54s queries-ad-cont
queries-ad-cont
September 18, 2023 12:48 54s
Use VS domain instead of AD for MustProtectedVars semgrep #7736: Commit 2917999 pushed by karoliineh
September 18, 2023 12:48 59s queries-ad-cont
queries-ad-cont
September 18, 2023 12:48 59s
Null Byte Array Domain semgrep #7735: Pull request #1076 synchronize by nathanschmidt
September 18, 2023 10:14 1m 0s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
September 18, 2023 10:14 1m 0s
Merge pull request #1142 from goblint/queries-ad semgrep #7734: Commit 3666c92 pushed by sim642
September 18, 2023 09:05 3m 41s master
master
September 18, 2023 09:05 3m 41s
Use AddressDomain for MayPointTo and ReachableFrom queries semgrep #7733: Pull request #1142 synchronize by sim642
September 18, 2023 09:05 1m 29s queries-ad
queries-ad
September 18, 2023 09:05 1m 29s
Merge branch 'master' into queries-ad semgrep #7732: Commit 64a0a6f pushed by sim642
September 18, 2023 09:05 49s queries-ad
queries-ad
September 18, 2023 09:05 49s
Merge pull request #1167 from goblint/libfuns-zlib-lzma semgrep #7731: Commit 4c9904a pushed by sim642
September 18, 2023 09:02 43s master
master
September 18, 2023 09:02 43s
Fix thread analysis termination with a self-creating thread semgrep #7730: Pull request #1173 opened by sim642
September 18, 2023 09:01 55s thread-self-create
thread-self-create
September 18, 2023 09:01 55s
Fix 10-synch/07-thread_self_create semgrep #7729: Commit 2486404 pushed by sim642
September 18, 2023 08:56 50s thread-self-create
thread-self-create
September 18, 2023 08:56 50s
Add zlib and liblzma functions used in The Silver Searcher to LibraryFunctions semgrep #7728: Pull request #1167 synchronize by karoliineh
September 18, 2023 08:37 1m 42s libfuns-zlib-lzma
libfuns-zlib-lzma
September 18, 2023 08:37 1m 42s