Saturn

This publication has 21 references indexed in Scilit:

• How is aliasing used in systems software?
  Published by Association for Computing Machinery (ACM) ,2006
• Region-based shape analysis with tracked locations
  Published by Association for Computing Machinery (ACM) ,2005
• Low-overhead memory leak detection using adaptive statistical profiling
  Published by Association for Computing Machinery (ACM) ,2004
• Predicate Abstraction of ANSI-C Programs Using SAT
  Formal Methods in System Design, 2004
• Behavioral consistency of C and verilog programs using bounded model checking
  Published by Association for Computing Machinery (ACM) ,2003
• A practical flow-sensitive and context-sensitive C and C++ memory leak detector
  Published by Association for Computing Machinery (ACM) ,2003
• Checking and inferring local non-aliasing
  Published by Association for Computing Machinery (ACM) ,2003
• ESP
  Published by Association for Computing Machinery (ACM) ,2002
• Finding bugs with a constraint solver
  Published by Association for Computing Machinery (ACM) ,2000
• Context-sensitive interprocedural points-to analysis in the presence of function pointers
  Published by Association for Computing Machinery (ACM) ,1994