2 Commits (bb8fda5e9c1206a3f6e1c90ea5d27dae3d38c383)

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