Results 1 to 6 of 6
Sort by:

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