How to write system-specific, static checkers in metal

This publication has 8 references indexed in Scilit:

• A system and language for building system-specific, static analyses
  Published by Association for Computing Machinery (ACM) ,2002
• Extended static checking for Java
  Published by Association for Computing Machinery (ACM) ,2002
• ESP
  Published by Association for Computing Machinery (ACM) ,2002
• Flow-sensitive type qualifiers
  Published by Association for Computing Machinery (ACM) ,2002
• Lazy abstraction
  Published by Association for Computing Machinery (ACM) ,2002
• Bugs as deviant behavior
  Published by Association for Computing Machinery (ACM) ,2001
• A static analyzer for finding dynamic programming errors
  Software: Practice and Experience, 2000
• Precise interprocedural dataflow analysis via graph reachability
  Published by Association for Computing Machinery (ACM) ,1995