• Dytan

  • Referenced in 6 articles [sw31722]
  • Dytan: a generic dynamic taint analysis framework. Dynamic taint analysis is gaining momentum. Techniques based ... developed a general framework for dynamic tainting that (1) is highly flexible and customizable ... both data-flow and control-flow based tainting conservatively, and (3) does not rely ... tainting approach used can affect efficiency and accuracy of the taint analysis, which further justifies...
  • DTA++

  • Referenced in 2 articles [sw33315]
  • dynamic taint analysis with targeted control-flow propagation. Dynamic taint analysis (DTA) is a powerful ... caused by implicit flows, situations in which tainted data values affect control flow, which ... propose DTA++, an enhancement to dynamic taint analysis that additionally propagates taint along...
  • TaintDroid

  • Referenced in 9 articles [sw26740]
  • TaintDroid, an efficient, system-wide dynamic taint tracking and analysis system capable of simultaneously tracking...
  • SwordDTA

  • Referenced in 1 article [sw17035]
  • SwordDTA: A dynamic taint analysis tool for software vulnerability detection. Software vulnerabilities are the root ... various information security incidents while dynamic taint analysis is an emerging program analysis technique ... SwordDTA, a tool that can perform dynamic taint analysis for binaries. This tool is flexible...
  • SymJS

  • Referenced in 2 articles [sw30522]
  • feedback directed event space exploration, and dynamic taint analysis for enhancing event sequence construction...
  • Taintscope

  • Referenced in 0 articles [sw23360]
  • TaintScope, an automatic fuzzing system using dynamic taint analysis and symbolic execution techniques, to tackle ... Window). Based on fine-grained dynamic taint tracing, TaintScope identifies which bytes in a well...
  • DroidBench

  • Referenced in 1 article [sw13317]
  • suite for evaluating the effectiveness of taint-analysis tools specifically for Android apps. The suite ... dynamic taint analyses, but in particular it contains test cases for interesting static-analysis problems...
  • AppTrace

  • Referenced in 1 article [sw38766]
  • does. Traditional dynamic analysis methodology, for instance, the TaintDroid, uses dynamic taint tracking technique ... this paper presents AppTrace, a novel dynamic analysis system that uses dynamic instrumentation technique...
  • SEEAD

  • Referenced in 1 article [sw31769]
  • obfuscation approaches rely on dynamic analysis, but face the challenge of low code coverage ... runs. This dynamic profiling scheme is rife with taint and control dependence analysis to reduce ... free status should any error happens during dynamic profile runs. As a result, the increased...
  • BackFlow

  • Referenced in 1 article [sw34336]
  • flow reconstruction of taint analysis results. Taint analysis detects if data coming from a source ... properly escaped). Both static and dynamic taint analyses have been widely applied to detect injection ... world software. A main drawback of static analysis is that it could produce false alarms...
  • LIFT

  • Referenced in 3 articles [sw20596]
  • flow tracking (also referred to as taint analysis) is a promising technique to detect ... which minimizes run-time overhead by exploiting dynamic binary instrumentation and optimizations for detecting various...
  • DynOpVm

  • Referenced in 1 article [sw31719]
  • which each basic block uses a dynamic and control-flow-aware mapping between the virtual ... frequency analysis attack ineffective, but dictates the execution and program analysis to follow the original ... program, making state-of-the-art backward tainting and slicing ineffective. We implement a prototype...
  • CUTE

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

  • Referenced in 8 articles [sw01297]
  • Saturn: A SAT-based tool for bug detection...
  • Valgrind

  • Referenced in 62 articles [sw04420]
  • Valgrind is an instrumentation framework for building dynamic...
  • KLEE

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

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

  • Referenced in 11 articles [sw12039]
  • AMNESIA: analysis and monitoring for NEutralizing SQL-injection...
  • 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...