Cleanness Checking of String Manipulations in C Programs via Integer Analysis

This publication has 9 references indexed in Scilit:

• Buffer overflows: attacks and defenses for the vulnerability of the decade
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Debugging via Run-Time Type Checking
  Published by Springer Nature ,2001
• Pointer analysis for programs with structures and casting
  Published by Association for Computing Machinery (ACM) ,1999
• Verification of Real-Time Systems using Linear Relation Analysis
  Formal Methods in System Design, 1997
• Efficient detection of all pointer and array access errors
  Published by Association for Computing Machinery (ACM) ,1994
• Crisis and aftermath
  Communications of the ACM, 1989
• Automatic discovery of linear restraints among variables of a program
  Published by Association for Computing Machinery (ACM) ,1978
• Static determination of dynamic properties of generalized type unions
  ACM SIGOPS Operating Systems Review, 1977
• Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints
  Published by Association for Computing Machinery (ACM) ,1977