2 Commits (d6db2c07e8516e8f0a0ffb7c5c4fa0606c04c534)

Author SHA1 Message Date
Daniel Grunwald b71edb2a88 StateRange analysis / SymbolicExecution: add support for implicit int->bool conversion. 12 years ago
Daniel Grunwald 2edcaa2c44 Initial implementation of async/await decompiler. 14 years ago