Skip to content

Actions: static-analysis-engineering/CodeHawk-Binary

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
146 workflow runs
146 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
CMD: add option to include callees for fns_included CI_mypy #545: Commit 35d56d6 pushed by sipma
34s master
master
34s
Predicates CI_mypy #544: Pull request #275 opened by sipma
54s sipma:predicates
sipma:predicates
54s
CMD: ignore zero-writes when calculating buffer sizes CI_mypy #543: Commit ddba59b pushed by sipma
37s master
master
37s
CMD: ignore zero-writes when calculating buffer sizes CI_mypy #542: Pull request #274 opened by sipma
31s sipma:buffersizes
sipma:buffersizes
31s
CMD: always reset when analyzing CI_mypy #541: Commit 27b9f8b pushed by sipma
35s master
master
35s
Documentation CI_mypy #540: Pull request #273 opened by sipma
32s sipma:documentation
sipma:documentation
32s
JSON: add str method to JSONProofObligationRecord CI_mypy #539: Commit f3d1b76 pushed by waskyo
33s master
master
33s
Improvements to json interface CI_mypy #538: Pull request #272 opened by waskyo
45s waskyo:waskyo/json_interface_improvements
waskyo:waskyo/json_interface_improvements
45s
SUMMARIES: update function summaries CI_mypy #537: Commit f1d2d8b pushed by sipma
42s master
master
42s
Structdefs CI_mypy #536: Pull request #271 opened by sipma
38s sipma:structdefs
sipma:structdefs
38s
Add intermediate faddr for report patch candidates CI_mypy #535: Commit ddf8422 pushed by waskyo
34s master
master
34s
Add intermediate faddr for report patch candidates. CI_mypy #534: Pull request #270 synchronize by dvorak42
49s dvorak42:add_intermediate_faddr
dvorak42:add_intermediate_faddr
49s
Add intermediate faddr for report patch candidates. CI_mypy #533: Pull request #270 opened by dvorak42
50s dvorak42:add_intermediate_faddr
dvorak42:add_intermediate_faddr
50s
JSON: include proof obligations in json interface CI_mypy #532: Commit 83bb0ee pushed by sipma
34s master
master
34s
Libcreplacement CI_mypy #531: Pull request #269 opened by sipma
42s sipma:libcreplacement
sipma:libcreplacement
42s
CMD: Fix parsing of chk_flows_to_argument arguments CI_mypy #530: Commit c6ad7d3 pushed by sipma
34s master
master
34s
CMD: Fix parsing of chk_flows_to_argument arguments CI_mypy #529: Pull request #268 opened by dvorak42
46s dvorak42:fix_inter_format
dvorak42:fix_inter_format
46s
BCTYPES: retrieve compinfos from bcdictionary instead of bcfiles CI_mypy #528: Commit 0e7e4d0 pushed by sipma
33s master
master
33s
Attributeparams CI_mypy #527: Pull request #267 opened by sipma
30s sipma:attributeparams
sipma:attributeparams
30s
BCTYPES: support for printing header file CI_mypy #526: Commit 7ceb078 pushed by sipma
34s master
master
34s
Headerfile CI_mypy #525: Pull request #266 opened by sipma
47s sipma:headerfile
sipma:headerfile
47s
Cleanup intermediate function patch candidates code with utility and … CI_mypy #524: Commit b6d6f39 pushed by sipma
29s master
master
29s
Cleanup intermediate function patch candidates code. CI_mypy #523: Pull request #265 opened by dvorak42
37s dvorak42:intermediate_fixes
dvorak42:intermediate_fixes
37s
Add intermediate iaddr to JSON. CI_mypy #522: Commit 4dfaf32 pushed by sipma
33s master
master
33s
Add support for patch candidates with buffer in intermediate function. CI_mypy #521: Pull request #264 opened by dvorak42
35s dvorak42:intermediate
dvorak42:intermediate
35s