Skip to content

Actions: nathanschmidt/goblint-analyzer

Actions

semgrep

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
semgrep.yml
50 workflow runs
50 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'master' into null-byte-arrayDomain semgrep #176: Commit 4577879 pushed by sim642
December 11, 2023 09:34 40s null-byte-arrayDomain
null-byte-arrayDomain
December 11, 2023 09:34 40s
Add TODOs related to null byte array domain semgrep #175: Commit f2fdb62 pushed by sim642
December 11, 2023 08:54 33s null-byte-arrayDomain
null-byte-arrayDomain
December 11, 2023 08:54 33s
Deduplicate Null declarations semgrep #174: Commit 80c2694 pushed by sim642
November 29, 2023 09:00 29s null-byte-arrayDomain
null-byte-arrayDomain
November 29, 2023 09:00 29s
Use ocamldoc references in ArrayDomain.Str semgrep #173: Commit 44705f4 pushed by sim642
November 29, 2023 08:51 32s null-byte-arrayDomain
null-byte-arrayDomain
November 29, 2023 08:51 32s
Merge branch 'master' into null-byte-arrayDomain semgrep #172: Commit 672650b pushed by michael-schwarz
November 28, 2023 21:06 34s null-byte-arrayDomain
null-byte-arrayDomain
November 28, 2023 21:06 34s
Strange parens semgrep #171: Commit 1a9ce2c pushed by michael-schwarz
November 28, 2023 20:56 35s null-byte-arrayDomain
null-byte-arrayDomain
November 28, 2023 20:56 35s
Use option type semgrep #170: Commit c15ca04 pushed by michael-schwarz
November 28, 2023 20:50 30s null-byte-arrayDomain
null-byte-arrayDomain
November 28, 2023 20:50 30s
Lift one more transfer function to work on MustMay semgrep #169: Commit a73c28d pushed by michael-schwarz
November 28, 2023 20:43 38s null-byte-arrayDomain
null-byte-arrayDomain
November 28, 2023 20:43 38s
Decouple concrete sets from MaySet semgrep #168: Commit d995cc9 pushed by michael-schwarz
November 28, 2023 20:16 34s null-byte-arrayDomain
null-byte-arrayDomain
November 28, 2023 20:16 34s
One less May/MustSet semgrep #167: Commit 20ee375 pushed by michael-schwarz
November 28, 2023 20:05 37s null-byte-arrayDomain
null-byte-arrayDomain
November 28, 2023 20:05 37s
Pull out helper semgrep #166: Commit c85bad9 pushed by michael-schwarz
November 28, 2023 19:46 38s null-byte-arrayDomain
null-byte-arrayDomain
November 28, 2023 19:46 38s
Make types in string_concat make sense semgrep #165: Commit 7a2e9ba pushed by michael-schwarz
November 28, 2023 19:36 32s null-byte-arrayDomain
null-byte-arrayDomain
November 28, 2023 19:36 32s
Replace exists types with options semgrep #164: Commit 55a0dd4 pushed by michael-schwarz
November 28, 2023 19:11 37s null-byte-arrayDomain
null-byte-arrayDomain
November 28, 2023 19:11 37s
Steps towards removing ops on raw sets semgrep #163: Commit b4bb3c1 pushed by michael-schwarz
November 28, 2023 18:42 37s null-byte-arrayDomain
null-byte-arrayDomain
November 28, 2023 18:42 37s
Simplify semgrep #162: Commit 320cc90 pushed by michael-schwarz
November 28, 2023 18:33 35s null-byte-arrayDomain
null-byte-arrayDomain
November 28, 2023 18:33 35s
Remove n_exists construction semgrep #161: Commit 0b3ff15 pushed by michael-schwarz
November 28, 2023 18:30 35s null-byte-arrayDomain
null-byte-arrayDomain
November 28, 2023 18:30 35s
Remove idx_maximal hack semgrep #160: Commit 3ebc74d pushed by michael-schwarz
November 28, 2023 18:08 41s null-byte-arrayDomain
null-byte-arrayDomain
November 28, 2023 18:08 41s
Simplify semgrep #159: Commit 272e496 pushed by michael-schwarz
November 28, 2023 17:50 33s null-byte-arrayDomain
null-byte-arrayDomain
November 28, 2023 17:50 33s
Simplify semgrep #158: Commit 0a47ea2 pushed by michael-schwarz
November 28, 2023 17:43 44s null-byte-arrayDomain
null-byte-arrayDomain
November 28, 2023 17:43 44s
Simplify semgrep #157: Commit 2b8e3fa pushed by michael-schwarz
November 28, 2023 17:19 36s null-byte-arrayDomain
null-byte-arrayDomain
November 28, 2023 17:19 36s
Annotate faialing test as TODO semgrep #156: Commit 1a0fdb9 pushed by michael-schwarz
November 28, 2023 16:09 37s null-byte-arrayDomain
null-byte-arrayDomain
November 28, 2023 16:09 37s
Move to operations on Nulls semgrep #155: Commit df10ad6 pushed by michael-schwarz
November 26, 2023 20:01 30s null-byte-arrayDomain
null-byte-arrayDomain
November 26, 2023 20:01 30s
to_string free of direct set manipulation semgrep #154: Commit 34d2e1c pushed by michael-schwarz
November 26, 2023 19:00 36s null-byte-arrayDomain
null-byte-arrayDomain
November 26, 2023 19:00 36s
Progress semgrep #153: Commit b85ed97 pushed by michael-schwarz
November 26, 2023 17:08 34s null-byte-arrayDomain
null-byte-arrayDomain
November 26, 2023 17:08 34s
Progress semgrep #152: Commit cd57e1f pushed by michael-schwarz
November 26, 2023 16:38 28s null-byte-arrayDomain
null-byte-arrayDomain
November 26, 2023 16:38 28s