Static type determination for C++, C++ Conference. USENIX Association, pp.85-98, 1994. ,
C++ core guidelines, p.22 ,
Type casting verification: Stopping an emerging attack vector, 24th USENIX Security Symposium. USENIX Association, pp.81-96, 2015. ,
TypeSan, Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, CCS'16, pp.517-528, 2016. ,
DOI : 10.1109/SP.2015.58
Confusion de type en c++ : la performance au détriment de la type safety, SSTIC, 2016. ,
Static detection of C++ vtable escape vulnerabilities in binary code, NDSS, 2012. ,
vfGuard: Strict Protection for Virtual Function Calls in COTS C++ Binaries, Proceedings 2015 Network and Distributed System Security Symposium, 2015. ,
DOI : 10.14722/ndss.2015.23297
Recovery of Object Oriented Features from C++ Binaries, 2014 21st Asia-Pacific Software Engineering Conference, pp.231-238, 2014. ,
DOI : 10.1109/APSEC.2014.44
Recovery of Class Hierarchies and Composition Relationships from Machine Code, Lecture Notes in Computer Science, vol.8409, pp.61-84, 2014. ,
DOI : 10.1007/978-3-642-54807-9_4
Recovering C++ Objects From Binaries Using Inter-Procedural Data-Flow Analysis, Proceedings of ACM SIGPLAN on Program Protection and Reverse Engineering Workshop 2014, PPREW'14, pp.1-111, 2014. ,
DOI : 10.1145/2556464.2556465
Type Inference on Executables, ACM Computing Surveys, vol.48, issue.4, pp.1-6535, 2016. ,
DOI : 10.1109/COMPSAC.2007.163
Snowman decompiler ,
Practical analysis of stripped binary code, SIGARCH'05, pp.63-68, 2005. ,
DOI : 10.1145/1127577.1127590
URL : http://ftp.cs.wisc.edu/par-distr-sys/papers/Harris05WBIA.pdf
Pin: building customized program analysis tools with dynamic instrumentation, ACM SIGPLAN'05, pp.190-200, 2005. ,
Efficient, transparent, and comprehensive runtime code manipulation, Massachusetts Institute of Technology, 2004. ,