L. O. Andersen, Program analysis and specialization for the C programming language, 1994.

D. Avots, M. Dalton, V. B. Livshits, and M. S. Lam, Improving software security with a C pointer analysis, Proceedings of the 27th International Conference on Software Engineering (ICSE, pp.332-341, 2005.

J. Bai, Y. Wang, J. Lawall, and S. Hu, 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

A. Baliga, V. Ganapathy, and L. Iftode, 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.

A. Chou, J. Yang, B. Chelf, S. Hallem, and D. R. Engler, 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.

J. Corbet, Exported symbols and the internal API, 2007.

J. Corbet, Atomic context and kernel API design, 2008.

M. Das, Unification-based pointer analysis with directional assignments, Proceedings of the 21st International Conference on Programming Language Design and Implementation (PLDI, pp.35-46, 2000.

M. Emami, R. Ghiya, and L. Hendren, 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.

D. Engler, D. Y. Chen, S. Hallem, A. Chou, and B. Chelf, 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.

D. R. Engler, B. Chelf, A. Chou, and S. Hallem, Checking system rules using system-specific, programmer-written compiler extensions, pp.1-16, 2000.

M. Fähndrich, J. Rehof, and M. Das, 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.

S. Haryadi, C. Gunawi, A. C. Rubio-gonzález, . Arpaci-dusseau, H. Remzi et al., EIO: error handling is occasionally correct, Proceedings of the 6th International Conference on File and Storage Technologies (FAST), pp.207-222, 2008.

S. Hallem, B. Chelf, Y. Xie, and D. R. Engler, 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.

B. Hardekopf and C. Lin, 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.

N. Heintze and O. Tardieu, 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.

C. Lattner, A. Lenharth, and V. S. Adve, 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.

J. L. Lawall, J. Brunel, N. Palix, H. René-rydhof-hansen, G. Stuart et al., 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

O. Lhoták and L. Hendren, Scaling Java points-to analysis using Spark, Proceedings of the 2003 International Conference on Compiler Construction (CC), pp.153-169, 2003.

Z. Li and Y. Zhou, 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.

M. S. V-benjamin-livshits and . Lam, 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.

A. Milanova, A. Rountev, and B. G. Ryder, Precise call graphs for C programs with function pointers, Automated Software Engineering, vol.11, pp.7-26, 2004.

, MySQL database, 2018.

N. Palix, G. Thomas, S. Saha, C. Calvès, G. Muller et al., Faults in Linux 2.6, ACM Transactions on Computer Systems (TOCS), vol.32, p.40, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01022704

J. David, . Pearce, H. J. Paul, C. Kelly, and . Hankin, Efficient fieldsensitive pointer analysis of C, ACM Transactions on Programming Languages and Systems (TOPLAS), vol.30, p.42, 2007.

C. Rubio-gonzález, H. S. Gunawi, B. Liblit, H. Remzi, A. C. Arpaci-dusseau et al., Error propagation analysis for file systems, Proceedings of the 30th International Conference on Programming Language Design and Implementation (PLDI), pp.270-280, 2009.

S. Saha, J. Lozi, G. Thomas, J. L. Lawall, and G. Muller, 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.

M. Sridharan, D. Gopan, L. Shan, and R. Bodík, Demand-driven points-to analysis for Java, OOPSLA, pp.59-76, 2005.

B. Steensgaard, Points-to analysis in almost linear time, Proceedings of the 23rd International Symposium on Principles of Programming Languages (POPL, pp.32-41, 1996.

Y. Sui, S. Ye, J. Xue, and J. Zhang, Making contextsensitive inclusion-based pointer analysis practical for compilers using parameterised summarisation. Software: Practice and Experience (SPE), vol.44, pp.1485-1510, 2014.

M. M. Swift, B. N. Bershad, and H. M. Levy, 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.

J. Whaley and M. S. Lam, An efficient inclusion-based points-to analysis for strictly-typed languages, Proceedings of the 2002 International Static Analysis Symposium (SAS), pp.180-195, 2002.

Y. Sen-ye, J. Sui, and . Xue, Region-based selective flowsensitive pointer analysis, Proceedings of the 2014 International Static Analysis Symposium (SAS), pp.319-336, 2014.

H. Yu, J. Xue, W. Huo, X. Feng, and Z. Zhang, 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.