Instruct: Given the title of a paper, retrieve paper titles that are cited by the given paper
Query: Automatic Heavy-weight Static Analysis Tools for Fin- ding Bugs in Safety-critical Embedded C/C++ Code
An overview on the Static Code Analysis approach in Software Development
Automatic mining of source code repositories to improve bug finding techniques
A compiler-level intermediate representation based binary analysis and rewriting system
Compiler-Agnostic Function Detection in Binaries
CP-Miner: finding copy-paste and related bugs in large-scale software code
Dynamic vs. Static Flow-Sensitive Security Analysis
Leveraging semantic signatures for bug search in binary programs
Detection of injected, dynamically generated, and obfuscated malicious code
Program Analysis and Specialization for the C Programming Language
C-FLAT: Control-Flow Attestation for Embedded Systems Software
Securing web application code by static analysis and runtime protection
SoK : On the Soundness and Precision of Dynamic Taint Analysis
KIL: An Abstract Intermediate Language for Symbolic Execution and Test Generation of C++ Programs
Function Interface Analysis: A Principled Approach for Function Recognition in COTS Binaries
ARCHER: using symbolic, path-sensitive analysis to detect memory access errors
Bugbench: Benchmarks for evaluating bug detection tools
POSTER: UAFChecker: Scalable Static Detection of Use-After-Free Vulnerabilities
SVF: interprocedural static value-flow analysis in LLVM
Efficient and extensible security enforcement using dynamic data flow analysis
Codeflaws: A Programming Competition Benchmark for Evaluating Automated Program Repair Tools
Strategy as a Portfolio of Real Options
Behavioral consistency of C and Verilog programs using bounded model checking
Deep AutoRegressive Networks
Efficient learning of timeseries shapelets
Web-CAT: automatically grading programming assignments