Cleanness Checking of String Manipulations in C Programs via Integer Analysis.

Nurit Dor Michael Rodeh Shmuel Sagiv

Published in: SAS (2001)

Keyphrases

data analysis
quantitative analysis
real time
databases
information systems
database
data sets
knowledge base
expert systems
pattern matching