• 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...