Conditional compilation related work -- Include dependency related work -- Macro related work -- Description of our approach -- Compilation condition -- Macro identifier classification -- Include dependency -- Metrics -- Techniques and implementation -- C/C++ preprocessor parser -- Information extraction from abstract syntax tree -- Control flow analysis -- Symbolic execution -- Experiments -- Code metrics -- Preprocessor identifier analysis -- Include hierarchy graph -- Detection of cycle in dependence graph of include hierarchy -- Control flow graph -- Symbolic execution of preprocessing directives
We show how locally replaceable code snippets can be used to easily specify and prototype compiler ...
This thesis presents an extension of the CompCert compiler that aims at providing formal guarantees ...
The notion of dependence captures the most important properties of a program for efficient execution...
The C preprocessor is heavily used in C programs because it provides useful and even necessary addit...
With the prevalence of legacy C/C++ code, issues of readability and maintainability have become incr...
The C preprocessor is heavily used in C programs because it provides useful and even necessary addit...
C preprocessor directives are heavily used in C programs because they provide useful and even necess...
Understanding, debugging, and maintaining software is a costly and difficult task. The difficulties ...
Cette thèse présente une extension du compilateur CompCert permettant de fournir des garanties forme...
As we migrate software to new versions of programming languages, we would like to improve the style ...
As part of formal verification of critical software, preserving properties established on the source...
Submitted by Kilvya Braga (kilvyabraga@hotmail.com) on 2018-05-14T14:15:46Z No. of bitstreams: 1 F...
A theoretical background was established for the compilation process by dividing it into five phases...
Les analyses statiques ont pour but de déterminer les propriétés des programmes au moment de la comp...
Refactoriug has become a well-known technique for transforming code in a way that preserves behavior...
We show how locally replaceable code snippets can be used to easily specify and prototype compiler ...
This thesis presents an extension of the CompCert compiler that aims at providing formal guarantees ...
The notion of dependence captures the most important properties of a program for efficient execution...
The C preprocessor is heavily used in C programs because it provides useful and even necessary addit...
With the prevalence of legacy C/C++ code, issues of readability and maintainability have become incr...
The C preprocessor is heavily used in C programs because it provides useful and even necessary addit...
C preprocessor directives are heavily used in C programs because they provide useful and even necess...
Understanding, debugging, and maintaining software is a costly and difficult task. The difficulties ...
Cette thèse présente une extension du compilateur CompCert permettant de fournir des garanties forme...
As we migrate software to new versions of programming languages, we would like to improve the style ...
As part of formal verification of critical software, preserving properties established on the source...
Submitted by Kilvya Braga (kilvyabraga@hotmail.com) on 2018-05-14T14:15:46Z No. of bitstreams: 1 F...
A theoretical background was established for the compilation process by dividing it into five phases...
Les analyses statiques ont pour but de déterminer les propriétés des programmes au moment de la comp...
Refactoriug has become a well-known technique for transforming code in a way that preserves behavior...
We show how locally replaceable code snippets can be used to easily specify and prototype compiler ...
This thesis presents an extension of the CompCert compiler that aims at providing formal guarantees ...
The notion of dependence captures the most important properties of a program for efficient execution...