5 Commits

Author	SHA1	Message	Date
Alessandro Di Federico	1a5fc0f519	Introduce collection of basic block statistics ... Let revamb produce a CSV file containing statistics about the translated input basic blocks for further analysis (e.g., identify false positives).	2016-08-20 03:10:46 +02:00
Alessandro Di Federico	8d34cecb90	Catch undefined behavior due to excessive shift	2016-08-20 03:10:46 +02:00
Alessandro Di Federico	eb8e589a4d	Don't access boundedValue if it's not available	2016-08-20 03:10:46 +02:00
Alessandro Di Federico	6acc701b54	Documentation and some refactoring	2016-08-20 03:10:45 +02:00
Alessandro Di Federico	fbca5bba2e	Import OSRA and update SET ... * Import OSRA * Improve the SET (aka `JumpTargetFromConstants`) by introducing the `OperationsStack` class. * Review `harvest` logic * Allow to disable OSRA (along with the sumjump heuristic) * Take the core of `getNextPC` out of it and move it to `getPC`, a function returning both the current and the next PC. Also, fix a bug when reaching the beginning of a basic block. * Detect "reliable" jump targets: a "reliable" jump target is a jump target obtained from a store to a PC but it's not a fallthrough jump.	2016-08-20 03:10:39 +02:00