Skip to content

Actions: goblint/analyzer

Actions

semgrep

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
semgrep.yml
234 workflow run results
234 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #1236 from goblint/issue-1235 semgrep #8153: Commit 3fd60ec pushed by sim642
November 6, 2023 15:10 49s master
master
November 6, 2023 15:10 49s
Experiment with path- and context-sensitivity for memLeak analysis semgrep #8152: Pull request #1234 synchronize by michael-schwarz
November 6, 2023 13:35 38s path_sens_memleak
path_sens_memleak
November 6, 2023 13:35 38s
Merge branch 'issue-1235' into path_sens_memleak semgrep #8151: Commit 773f156 pushed by michael-schwarz
November 6, 2023 13:35 33s path_sens_memleak
path_sens_memleak
November 6, 2023 13:35 33s
Use inlined ARG edges for unambiguous stacked ARG function return semgrep #8150: Pull request #1236 opened by sim642
November 6, 2023 12:48 41s issue-1235
issue-1235
November 6, 2023 12:48 41s
Fix 56-witness/53-witness-lifter-ps3 semgrep #8149: Commit cb32b12 pushed by sim642
November 6, 2023 12:44 35s issue-1235
issue-1235
November 6, 2023 12:44 35s
Fix widened CPA join losing widened variables semgrep #8148: Commit 820f1e5 pushed by sim642
November 6, 2023 11:46 50s witness-widen
witness-widen
November 6, 2023 11:46 50s
Experiment with path- and context-sensitivity for memLeak analysis semgrep #8147: Pull request #1234 synchronize by michael-schwarz
November 3, 2023 13:05 49s path_sens_memleak
path_sens_memleak
November 3, 2023 13:05 49s
Set unique address count to 5 semgrep #8146: Commit 27cf7f5 pushed by michael-schwarz
November 3, 2023 13:05 48s path_sens_memleak
path_sens_memleak
November 3, 2023 13:05 48s
Experiment with path- and context-sensitivity for memLeak analysis semgrep #8145: Pull request #1234 opened by michael-schwarz
November 3, 2023 12:21 39s path_sens_memleak
path_sens_memleak
November 3, 2023 12:21 39s
Make memLeak path- & ctx-sensitive semgrep #8144: Commit 04516ad pushed by michael-schwarz
November 3, 2023 11:59 49s path_sens_memleak
path_sens_memleak
November 3, 2023 11:59 49s
Fix var_eq not limiting to queried lval invariants semgrep #8143: Commit 9e26114 pushed by sim642
November 3, 2023 10:34 37s witness-widen
witness-widen
November 3, 2023 10:34 37s
Fix smtprc-tid unsoundness semgrep #8142: Commit ec49852 pushed by sim642
November 3, 2023 09:45 44s pldi-bench
pldi-bench
November 3, 2023 09:45 44s
copy gobview distribution files to gobview_dist semgrep #8141: Commit 1e7c6fe pushed by stilscher
November 2, 2023 15:56 45s improve-gobview-build
improve-gobview-build
November 2, 2023 15:56 45s
copy gobview distribution files to gobview_dist semgrep #8140: Commit a883207 pushed by stilscher
November 2, 2023 15:54 35s improve-gobview-build
improve-gobview-build
November 2, 2023 15:54 35s
TUM Practical Course Summer 2023: Termination Analyses semgrep #8139: Pull request #1093 synchronize by michael-schwarz
November 2, 2023 15:20 51s serenita:master
serenita:master
November 2, 2023 15:20 51s
fix chromedriver version to avoid url not found error semgrep #8138: Commit 660a678 pushed by stilscher
November 2, 2023 13:57 50s improve-gobview-build
improve-gobview-build
November 2, 2023 13:57 50s
Fix both branches dead from bot address in array semgrep #8137: Pull request #1233 opened by sim642
November 2, 2023 10:46 52s concrat-both-branches
concrat-both-branches
November 2, 2023 10:46 52s
Fix both branches dead from bot address in array semgrep #8136: Commit 4ea0756 pushed by sim642
November 2, 2023 10:37 56s concrat-both-branches
concrat-both-branches
November 2, 2023 10:37 56s
Merge pull request #1187 from goblint/issue_843 semgrep #8135: Commit 5f4f94b pushed by michael-schwarz
November 2, 2023 09:08 50s master
master
November 2, 2023 09:08 50s
Merge pull request #1230 from goblint/issue_1223 semgrep #8134: Commit 808e91d pushed by michael-schwarz
November 2, 2023 09:05 49s master
master
November 2, 2023 09:05 49s
Refactor Access.may_race with match semgrep #8133: Commit c42ec6b pushed by sim642
November 2, 2023 09:03 52s master
master
November 2, 2023 09:03 52s
Merge pull request #1228 from goblint/sv-comp-multiproperty semgrep #8132: Commit 417d5d3 pushed by sim642
November 2, 2023 08:06 35s master
master
November 2, 2023 08:06 35s
Support multi-property SV-COMP specifications semgrep #8131: Pull request #1228 synchronize by sim642
November 2, 2023 08:05 47s sv-comp-multiproperty
sv-comp-multiproperty
November 2, 2023 08:05 47s
Remove unused [@@deriving ord] on SV-COMP spec semgrep #8130: Commit f147d9b pushed by sim642
November 2, 2023 08:05 45s sv-comp-multiproperty
sv-comp-multiproperty
November 2, 2023 08:05 45s
Merge pull request #1226 from goblint/sv-comp-yaml semgrep #8129: Commit 8aaa9d0 pushed by sim642
November 2, 2023 08:02 38s master
master
November 2, 2023 08:02 38s