blaze
blaze copied to clipboard
kudu-dynamics
A framework for program analysis with a focus on modeling programmer assumptions, context- and path-sensitive analyses, and type checking.
Results
1
blaze issues
Sort by
recently updated
recently updated
newest added
I don't really know how the decomp view works through the Ghidra API, but it could be really useful to have access to Ghidra's decompilation output. We also want to...
enhancement
Metadata
40
Stars
3
Forks
Watchers
Owner
Metadata
A framework for program analysis with a focus on modeling programmer assumptions, context- and path-sensitive analyses, and type checking.