• LIBSVM

  • Referenced in 1185 articles [sw04879]
  • LIBSVM is a library for Support Vector Machines...
  • Stranger

  • Referenced in 16 articles [sw09152]
  • Stranger: An Automata-Based String Analysis Tool for...
  • Merlin

  • Referenced in 5 articles [sw23076]
  • Merlin: specification inference for explicit information flow problems...
  • GitHub

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

  • Referenced in 7 articles [sw33114]
  • TAJ: effective taint analysis of web applications. Taint...
  • Saner

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