Reachability Confirmation of Statically Detected Defects Using Dynamic Analysis

No abstract is available for this paper.

• Publication year

  2018

• Venue

  2018 Ivannikov Memorial Workshop (IVMEM)

• Publication date

  2018-05-01

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1109/IVMEM.2018.00012
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Multilevel static analysis for improving program quality

  2017cited by this paper
• Reachability confirmation of statically detected defects using dynamic analysis

  2017cited by this paper
• IntelliDroid: A Targeted Input Generator for the Dynamic Analysis of Android Malware

  2016cited by this paper
• Input data generation for reaching specific function in program by iterative dynamic analysis method

  2016cited by this paper
• JCHARMING: A bug reproduction approach using crash traces and directed model checking

  2015cited by this paper
• ConDroid: Targeted Dynamic Analysis of Android Applications

  2015cited by this paper
• STAR: Stack Trace Based Automatic Crash Reproduction via Symbolic Execution

  2015influential reference
• Static analyzer Svace for finding defects in a source program code

  2014cited by this paper
• Automatic exploit generation

  2014cited by this paper
• Dynamically validating static memory leak warnings

  2013cited by this paper
• Combining Static and Dynamic Analysis for Vulnerability Detection

  2013cited by this paper
• Statically-directed dynamic automated test generation

  2011cited by this paper
• Directed Symbolic Execution

  2011cited by this paper
• DyTa: dynamic symbolic execution guided with static verification results

  2011cited by this paper
• All You Ever Wanted to Know about Dynamic Taint Analysis and Forward Symbolic Execution (but Might Have Been Afraid to Ask)

  2010cited by this paper
• The use of dynamic analysis for generation of input data that demonstrates critical bugs and vulnerabilities in programs

  2010influential reference
• Using the GNU Compiler Collection

  2010influential reference
• Principles of model checking

  2008cited by this paper
• A Decision Procedure for Bit-Vectors and Arrays

  2007cited by this paper
• Adding nesting structure to words

  2006cited by this paper
• LLVM: a compilation framework for lifelong program analysis & transformation

  2004cited by this paper
• Symbolic execution and program testing

  1976cited by this paper

• Optimizing demand‐driven null dereference verification via merging branches

  2021cites this paper