Program analysis and specialization for the C programming language, 1994. ,
Improving software security with a C pointer analysis, Proceedings of the 27th International Conference on Software Engineering (ICSE, pp.332-341, 2005. ,
DSAC: effective static analysis of sleep-in-atomic-context bugs in kernel modules, Proceedings of the 2018 USENIX Annual Technical Conference, pp.587-600, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01853268
Detecting kernel-level rootkits using data structure invariants, IEEE Transactions on Dependable and Secure Computing (TDSC), vol.8, pp.670-684, 2011. ,
, Checkpatch.pl: a perl script to check coding style, 2018.
An empirical study of operating system errors, Proceedings of the 18th International Symposium on Operating Systems Principles (SOSP), pp.73-88, 2001. ,
, Clang compiler, 2018.
Exported symbols and the internal API, 2007. ,
Atomic context and kernel API design, 2008. ,
Unification-based pointer analysis with directional assignments, Proceedings of the 21st International Conference on Programming Language Design and Implementation (PLDI, pp.35-46, 2000. ,
Context-sensitive interprocedural points-to analysis in the presence of function pointers, Proceedings of the 1994 International Conference on Programming Language Design and Implementation (PLDI), pp.242-256, 1994. ,
Bugs as deviant behavior: a general approach to inferring errors in systems code, Proceedings of the 18th International Symposium on Operating Systems Principles (SOSP, pp.57-72, 2001. ,
Checking system rules using system-specific, programmer-written compiler extensions, pp.1-16, 2000. ,
Scalable context-sensitive flow analysis using instantiation constraints, Proceedings of the 21st International Conference on Programming Language Design and Implementation (PLDI, pp.253-263, 2000. ,
EIO: error handling is occasionally correct, Proceedings of the 6th International Conference on File and Storage Technologies (FAST), pp.207-222, 2008. ,
A system and language for building system-specific, static analyses, Proceedings of the 23rd International Conference on Programming Language Design and Implementation (PLDI), pp.69-82, 2002. ,
Flow-sensitive pointer analysis for millions of lines of code, Proceedings of the 9th International Symposium on Code Generation and Optimization (CGO, pp.289-298, 2011. ,
Ultra-fast aliasing analysis using CLA: a million lines of C code in a second, Proceedings of the 22nd International Conference on Programming Language Design and Implementation (PLDI), pp.254-263, 2001. ,
Making context-sensitive points-to analysis with heap cloning practical for the real world, Proceedings of the 28th International Conference on Programming Language Design and Implementation (PLDI), pp.278-289, 2007. ,
WYSIWIB: a declarative approach to finding API protocols and bugs in Linux code, Proceedings of the 39th International Conference on Dependable Systems and Networks (DSN, pp.43-52, 2009. ,
URL : https://hal.archives-ouvertes.fr/hal-00941142
Scaling Java points-to analysis using Spark, Proceedings of the 2003 International Conference on Compiler Construction (CC), pp.153-169, 2003. ,
PR-Miner: automatically extracting implicit programming rules and detecting violations in large software code, Proceedings of the 13th International Symposium on Foundations of Software Engineering (FSE, pp.306-315, 2005. ,
Tracking pointers with path and context sensitivity for bug detection in C programs, Proceedings of the 11th International Symposium on Foundations of Software Engineering (FSE, pp.317-326, 2003. ,
, LLVM compiler infrastructure, 2018.
Precise call graphs for C programs with function pointers, Automated Software Engineering, vol.11, pp.7-26, 2004. ,
, MySQL database, 2018.
Faults in Linux 2.6, ACM Transactions on Computer Systems (TOCS), vol.32, p.40, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01022704
Efficient fieldsensitive pointer analysis of C, ACM Transactions on Programming Languages and Systems (TOPLAS), vol.30, p.42, 2007. ,
Error propagation analysis for file systems, Proceedings of the 30th International Conference on Programming Language Design and Implementation (PLDI), pp.270-280, 2009. ,
Hector: detecting resource-release omission faults in error-handling code for systems software, Proceedings of the 43rd International Conference on Dependable Systems and Networks (DSN), pp.1-12, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00918079
, Smatch: a static bug-finding tool for the Linux kernel, 2018.
Demand-driven points-to analysis for Java, OOPSLA, pp.59-76, 2005. ,
Points-to analysis in almost linear time, Proceedings of the 23rd International Symposium on Principles of Programming Languages (POPL, pp.32-41, 1996. ,
Making contextsensitive inclusion-based pointer analysis practical for compilers using parameterised summarisation. Software: Practice and Experience (SPE), vol.44, pp.1485-1510, 2014. ,
Improving the reliability of commodity operating systems, Proceedings of the 19th International Symposium on Operating Systems Principles (SOSP, pp.207-222, 2003. ,
, Sysbench: a scriptable database and system performance benchmark, 2018.
An efficient inclusion-based points-to analysis for strictly-typed languages, Proceedings of the 2002 International Static Analysis Symposium (SAS), pp.180-195, 2002. ,
Region-based selective flowsensitive pointer analysis, Proceedings of the 2014 International Static Analysis Symposium (SAS), pp.319-336, 2014. ,
Level by level: making flow-and context-sensitive pointer analysis scalable for millions of lines of code, Proceedings of the 8th International Symposium on Code Generation and Optimization (CGO), pp.218-229, 2010. ,