C/C++ conditional compilation analysis using symbolic execution

Conference on Software Maintenance

Volumn , Issue , 2000, Pages 196-206

  Hu, Ying ^a   Merlo, Ettore ^a   Dagenais, Michel ^a   Lague, Bruno ^a  

^a ÉCOLE POLYTECHNIQUE DE MONTRÉAL   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

C (PROGRAMMING LANGUAGE); COMPUTER PROGRAMMING; COMPUTER SOFTWARE MAINTENANCE; ERRORS; FILE ORGANIZATION; LARGE SCALE SYSTEMS; PROGRAM DIAGNOSTICS; SOFTWARE ENGINEERING;

CONDITIONAL COMPILATION; FILE INCLUSION; MACRO SUBSTITUTION; SYMBOLIC EXECUTION;

PROGRAM COMPILERS;

EID: 0034505883     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (16)