Skip to content

Actions: goblint/analyzer

Actions

semgrep

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
semgrep.yml
434 workflow run results
434 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Apply suggestions from code review semgrep #7727: Commit 684cfa8 pushed by karoliineh
September 18, 2023 08:37 59s libfuns-zlib-lzma
libfuns-zlib-lzma
September 18, 2023 08:37 59s
Add zlib and liblzma functions used in The Silver Searcher to LibraryFunctions semgrep #7726: Pull request #1167 synchronize by karoliineh
September 18, 2023 08:36 1m 3s libfuns-zlib-lzma
libfuns-zlib-lzma
September 18, 2023 08:36 1m 3s
Remove duplicate vsprintf and add vsnprintf semgrep #7725: Commit 4444284 pushed by karoliineh
September 18, 2023 08:36 48s libfuns-zlib-lzma
libfuns-zlib-lzma
September 18, 2023 08:36 48s
Fix Cilfacade.split_anoncomp_name for empty names (closes #1171) semgrep #7724: Commit 1feb75e pushed by sim642
September 18, 2023 08:32 50s master
master
September 18, 2023 08:32 50s
Add some setjump/longjump tests for race detection semgrep #7723: Pull request #1172 synchronize by michael-schwarz
September 16, 2023 14:48 54s races_sjlj
races_sjlj
September 16, 2023 14:48 54s
68/[52-55] Don't include goblint.h, it is unused semgrep #7722: Commit 18fe6d1 pushed by michael-schwarz
September 16, 2023 14:47 55s races_sjlj
races_sjlj
September 16, 2023 14:47 55s
Add some setjump/longjump tests for race detection semgrep #7721: Pull request #1172 opened by michael-schwarz
September 16, 2023 14:39 54s races_sjlj
races_sjlj
September 16, 2023 14:39 54s
Add some setjump/longjump test for race detection semgrep #7720: Commit fb7159c pushed by michael-schwarz
September 16, 2023 14:33 52s races_sjlj
races_sjlj
September 16, 2023 14:33 52s
Null Byte Array Domain semgrep #7719: Pull request #1076 synchronize by nathanschmidt
September 16, 2023 12:48 44s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
September 16, 2023 12:48 44s
Simplify add_set in regionDomain semgrep #7718: Commit 3bf5268 pushed by karoliineh
September 15, 2023 15:12 53s region-mallocfresh
region-mallocfresh
September 15, 2023 15:12 53s
Use SetDomain instead of PartitionDomain.Set in RS semgrep #7717: Commit cc781cc pushed by karoliineh
September 15, 2023 14:25 2m 10s region-mallocfresh
region-mallocfresh
September 15, 2023 14:25 2m 10s
Merge pull request #1170 from goblint/acc-record semgrep #7716: Commit eb48502 pushed by sim642
September 15, 2023 08:04 51s master
master
September 15, 2023 08:04 51s
Use AddressDomain for queries semgrep #7715: Pull request #1144 synchronize by sim642
September 15, 2023 08:03 54s queries-ad-cont
queries-ad-cont
September 15, 2023 08:03 54s
Simplify some AD conversions, add TODOs semgrep #7714: Commit cb08d33 pushed by sim642
September 15, 2023 08:03 54s queries-ad-cont
queries-ad-cont
September 15, 2023 08:03 54s
Use AddressDomain for queries semgrep #7713: Pull request #1144 synchronize by sim642
September 15, 2023 07:45 50s queries-ad-cont
queries-ad-cont
September 15, 2023 07:45 50s
Merge branch 'queries-ad' into queries-ad-cont semgrep #7712: Commit fb1be83 pushed by sim642
September 15, 2023 07:45 51s queries-ad-cont
queries-ad-cont
September 15, 2023 07:45 51s
Use record as Access.A type instead of a quintuple semgrep #7711: Pull request #1170 synchronize by karoliineh
September 15, 2023 07:34 56s acc-record
acc-record
September 15, 2023 07:34 56s
Pass access as a variable instead of destructing the record semgrep #7710: Commit 60952d9 pushed by karoliineh
September 15, 2023 07:34 46s acc-record
acc-record
September 15, 2023 07:34 46s
Use record as Access.A type instead of a quintuple semgrep #7709: Pull request #1170 synchronize by karoliineh
September 14, 2023 19:00 55s acc-record
acc-record
September 14, 2023 19:00 55s
Inline d_msg () to doc in access semgrep #7708: Commit 929b658 pushed by karoliineh
September 14, 2023 18:58 50s acc-record
acc-record
September 14, 2023 18:58 50s
Use record as Access.A type instead of a quintuple semgrep #7707: Pull request #1170 opened by karoliineh
September 14, 2023 18:48 42s acc-record
acc-record
September 14, 2023 18:48 42s
Use record as Access.A type instead of a quintuple semgrep #7706: Commit a1464e1 pushed by karoliineh
September 14, 2023 18:46 56s acc-record
acc-record
September 14, 2023 18:46 56s
ProTip! You can narrow down the results and go further in time using created:<2023-09-14 or the other filters available.