ScratchABlock
ScratchABlock copied to clipboard
pfalcon
Yet another crippled decompiler project
Currently, ScratchABlock uses adhoc expression simplification implementation, which is partly imperative code, partly semi-declarative poor man's inference engine, and is far from complete in coverage, developed in on-demand manner. At...
The PseudoC description currently states that its type system does currently support either signed or unsigned operands. If no type is specified, `unsigned` is assumed by default. Memory accesses have...
This is to document a milestone in ScratchABlock development. So, after considerable amount of work over last month, and uncountable number of fixes, I was finally able to run an...
Backward dataflow analysis starts from a CFG exit. But not every CFG has an exit, e.g. if a function contains infinite loop(s), it won't have an exits. Then, backward dataflow...