T. Balakrishnan and . Reps, Analyzing memory accesses in x86 executables, Compiler Construction, pp.2732-2733, 2004.
DOI : 10.21236/ada449077

T. Balakrishnan, D. Reps, T. Melski, and . Teitelbaum, Verified Software: Theories, Tools, Experiments, chapter WYSINWYX: What You See Is Not What You eXecute, pp.202-213, 2008.
DOI : 10.1007/978-3-540-69149-5_22

P. Bardin, F. Herrmann, and . Védrine, Refinement-Based CFG Reconstruction from Unstructured Programs, pp.54-69, 2011.
DOI : 10.1007/978-3-642-14295-6_27

H. Cassé, F. Birée, and P. Sainrat, Multi-architecture value analysis for machine code In 13th International Workshop on Worst-Case Execution Time Analysis, pp.42-52, 2013.

R. Cousot and . Cousot, Abstract interpretation, Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '77, pp.238-252, 1977.
DOI : 10.1145/512950.512973
URL : https://hal.archives-ouvertes.fr/hal-00930103

J. Holsti, L. Gustafsson, B. Källberg, and . Lisper, Analysing switch-case code with abstract execution In 15th International Workshop on Worst-Case Execution Time Analysis, pp.85-94, 2015.

S. Muchnick, Advanced Compiler Design & Implementation, 1997.

A. Sandberg, J. Ermedahl, B. Gustafsson, and . Lisper, Faster WCET Flow Analysis by Program Slicing, Proceedings of the 2006 ACM SIGPLAN/SIGBED, pp.103-112, 2006.
DOI : 10.1145/1134650.1134666

Y. N. Sen and . Srikant, Executable Analysis with Circular Linear Progressions, 2007.
DOI : 10.1109/memcod.2007.371251

P. B. Silberschatz, G. Galvin, and . Gagne, Operating system concepts, 1998.

. Theiling, Extracting safe and precise control flow from binaries, Proceedings Seventh International Conference on Real-Time Computing Systems and Applications, 2000.
DOI : 10.1109/RTCSA.2000.896367
URL : http://rw4.cs.uni-sb.de/~theiling/publ/paper.seoul.ps.gz

. Weiser, Program Slicing, Proceedings of the 5th International Conference on Software Engineering, pp.439-449, 1981.
DOI : 10.1109/TSE.1984.5010248

L. Yin, Q. Jiang, L. Yin, J. Zhou, and . Li, A Control Flow Graph Reconstruction Method from Binaries Based on XML, 2009 International Forum on Computer Science-Technology and Applications, pp.226-229, 2009.
DOI : 10.1109/IFCSTA.2009.176