• Uppaal

  • Referenced in 653 articles [sw04702]
  • Uppaal is an integrated tool environment for modeling...
  • XPRESS

  • Referenced in 230 articles [sw04834]
  • FICO Xpress is the premier mathematical modeling and...
  • AMNESIA

  • Referenced in 11 articles [sw12039]
  • AMNESIA: analysis and monitoring for NEutralizing SQL-injection...
  • Python

  • Referenced in 2091 articles [sw14460]
  • Python is a widely used high-level, general...
  • NVD

  • Referenced in 5 articles [sw15083]
  • National Vulnerability Database. NVD is the U.S. government...
  • Jif

  • Referenced in 19 articles [sw16478]
  • Jif: Java information flow. Jif is a security...
  • WAPTEC

  • Referenced in 5 articles [sw21854]
  • WAPTEC: whitebox analysis of web applications for parameter...
  • Fable

  • Referenced in 6 articles [sw23081]
  • Fable: A Language for Enforcing User-defined Security...
  • GitHub

  • Referenced in 2766 articles [sw23170]
  • GitHub (originally known as Logical Awesome LLC)[3...
  • Pixy

  • Referenced in 5 articles [sw25249]
  • Pixy: a static analysis tool for detecting web...
  • Saner

  • Referenced in 9 articles [sw37817]
  • Saner: Composing Static and Dynamic Analysis to Validate...