• AddressSanitizer

  • Referenced in 3 articles [sw36264]
  • global objects, as well as use-after-free bugs. It employs a specialized memory allocator...
  • SwordDTA

  • Referenced in 1 article [sw17035]
  • integer overflow, division by zero and use-after-free, and is applicable for a wide...
  • CUTE

  • Referenced in 66 articles [sw00177]
  • CUTE: a concolic unit testing engine for C...
  • KLEE

  • Referenced in 45 articles [sw04894]
  • KLEE: Unassisted and Automatic Generation of High-Coverage...
  • DART

  • Referenced in 76 articles [sw07260]
  • DART: directed automated random testing. We present a...
  • GitHub

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

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

  • Referenced in 6 articles [sw31722]
  • Dytan: a generic dynamic taint analysis framework. Dynamic...