A path sensitive analysis tool for detecting rule violations in C code

Similar Items

• Codes for error detection /
  by: Klove, Torleiv
  Published: (2007)
• CP violation
  by: Bigi, I I; Sanda, A I
  Published: (2009)
• Copyrigt violations, 'inspirations' and
  by: Apurva Bakshi
• Human rights violations
  by: George C T
• Violation of Freedom of the Press
  by: Usha ., Loghani
  Published: (1986)