Skip to content

Actions: static-analysis-engineering/CodeHawk-Binary

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
155 workflow runs
155 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
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
CMD: add support for function signatures CI_mypy #520: Commit d0ac097 pushed by sipma
43s master
master
43s
Functionapis CI_mypy #519: Pull request #263 opened by sipma
48s sipma:functionapis
sipma:functionapis
48s
Fix typo in RelationAnalysis:functions_changed CI_mypy #518: Commit 5391186 pushed by sipma
39s master
master
39s
Fix typo in RelationAnalysis:functions_changed CI_mypy #517: Pull request #262 opened by waskyo
48s waskyo:fix_typo_in_relational_analysis
waskyo:fix_typo_in_relational_analysis
48s
convert two warning messages about stack buffer sizes to info CI_mypy #516: Commit 019c9fa pushed by sipma
40s master
master
40s
convert two warning messages about stack buffer sizes to info CI_mypy #515: Pull request #261 opened by waskyo
58s waskyo:convert_stack_buffer_warning_to_info
waskyo:convert_stack_buffer_warning_to_info
58s
add length-addr to the metadata for patch-records CI_mypy #514: Commit a20d832 pushed by sipma
51s master
master
51s
add length-addr to the metadata for patch-records CI_mypy #513: Pull request #260 opened by leftbyte
30s leftbyte:dphung/add-lenaddr
leftbyte:dphung/add-lenaddr
30s
Support more sprintf format strings for patching. CI_mypy #512: Commit 2f0ff4f pushed by sipma
36s master
master
36s
Support more sprintf format strings for patching. CI_mypy #511: Pull request #259 opened by dvorak42
35s dvorak42:expand_sprintf_patches
dvorak42:expand_sprintf_patches
35s
CMD: replaces buffer size 1 in patch record by value derived from sta… CI_mypy #510: Commit ca408ce pushed by sipma
29s master
master
29s
Patchrecords CI_mypy #509: Pull request #258 opened by sipma
34s sipma:patchrecords
sipma:patchrecords
34s
CMD: add size-origin to patch records CI_mypy #508: Commit 0c64d7c pushed by sipma
32s master
master
32s