issues
search
static-analysis-engineering
/
CodeHawk-Binary
CodeHawk Binary Analyzer for malware analysis and general reverse engineering
MIT License
21
stars
9
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Re-connect ARM call return value to lifting
#115
brk
closed
8 months ago
0
Regression
#114
sipma
closed
9 months ago
0
APP: add included/excluded functions to result metrics
#113
sipma
closed
9 months ago
0
Commands b
#112
sipma
closed
10 months ago
0
Commands
#111
sipma
closed
10 months ago
0
Cfg.py: reduce block nesting for return statements
#110
brk
closed
10 months ago
0
X86instructions
#109
sipma
closed
10 months ago
1
Two small quality-of-life improvements to pirinspector
#108
brk
closed
10 months ago
0
Account for possibly-empty defuses in ARMBranch.py
#107
brk
closed
10 months ago
0
Relationaljson
#106
sipma
closed
10 months ago
0
Flatten switch statement construction
#105
brk
closed
11 months ago
0
CHK: add option to output control flow graph in json
#104
sipma
closed
1 year ago
0
Cfg.py: move succlabels to a larger scope
#103
brk
closed
1 year ago
1
Pirinspection
#102
sipma
closed
1 year ago
0
Annotate structured control flow with merge addrs
#101
brk
closed
1 year ago
1
Pirinspector
#100
sipma
closed
1 year ago
0
Json interface
#99
sipma
closed
1 year ago
0
Tbb support
#98
sipma
closed
1 year ago
0
Returnseq
#97
sipma
closed
1 year ago
0
Relational
#96
sipma
closed
1 year ago
0
Armlifting
#95
sipma
closed
1 year ago
0
AST: For testing purposes limit the maximum number of CFG-successors …
#94
sipma
closed
1 year ago
0
ARM: add ast_call to Branch
#93
sipma
closed
1 year ago
0
Commandline
#92
sipma
closed
1 year ago
0
Arm userdata
#91
sipma
closed
1 year ago
0
Relational
#90
sipma
closed
1 year ago
0
ARM: add reaching definitions to VCompare
#89
sipma
closed
1 year ago
0
AST: allow for name aliasing in reaching definitions for return values
#88
sipma
closed
1 year ago
0
Arm improvements
#87
sipma
closed
1 year ago
0
Remove prebuilt binaries
#86
brk
closed
1 year ago
1
Arm infrastructure
#85
sipma
closed
1 year ago
0
Add ASTDeserializer method to read back return sequences
#84
waskyo
closed
1 year ago
0
Avoid unnecessarily casting promoted-type shifts
#83
brk
closed
1 year ago
0
Allow choosing a different format when comparing cfgs
#82
waskyo
closed
1 year ago
0
ARM:update opcodes for conditional predicates
#81
sipma
closed
1 year ago
0
REL: improve relational analysis presentation
#80
sipma
closed
1 year ago
0
CMD: convert hints and header files to absolute paths
#79
sipma
closed
1 year ago
0
Name normalization
#78
sipma
closed
1 year ago
0
Arm analysis
#77
sipma
closed
1 year ago
0
Arm analysis
#76
sipma
closed
1 year ago
0
Power vle
#75
sipma
closed
1 year ago
0
Require clients to provide valid C label names
#74
brk
closed
1 year ago
0
Power vle
#73
sipma
closed
1 year ago
0
Stringreferences
#72
sipma
closed
1 year ago
0
Returnsequences
#71
sipma
closed
1 year ago
0
Print globals and other minor cleanups
#70
waskyo
closed
1 year ago
0
BranchLink no or multiple function arguments
#69
brk
opened
1 year ago
0
Ensure ASTCPrettyPrinter emits valid label names
#68
brk
closed
1 year ago
0
Diagnostics
#67
sipma
closed
1 year ago
0
Ensure AST includes explicit cast for shift operators
#66
brk
closed
1 year ago
0
Previous
Next