Keyphrases
Static Analysis
72%
Static Analyzer
48%
Context Sensitivity
39%
Code-based
35%
Program Analysis
27%
Abstract Interpretation
18%
Automatically Generate
16%
Symbolic Execution
16%
Analysis Cost
15%
C Program
15%
Concolic Testing
15%
Search Heuristics
14%
Analysis Precision
14%
Bayesian Optimization
14%
Vulnerability
14%
Learning Algorithm
13%
Sparse Principal Component Analysis
13%
Smart Contract
13%
Programming Assignments
13%
Context-sensitive
13%
Data-driven Program Analysis
11%
Point Analysis
11%
Program Synthesis
11%
Data-driven Approach
9%
Global Static Analysis
9%
Automata
9%
Average Analysis
9%
Labeled Data
9%
Regular Expressions
9%
Code Block
9%
Imperative Programs
9%
Inter-procedural
9%
Global Analysis
9%
Homomorphic Evaluation
9%
Fully Homomorphic Encryption
9%
Logic Error
9%
Scalable Approaches
9%
Functional Programming
9%
Enumerative Search
9%
Buffer Overflow
8%
Pointer Analysis
8%
Software Components
8%
Object Sensitivity
8%
Synthesis Algorithm
7%
Java
7%
Interval Analysis
7%
Popular
7%
Oracle
7%
Program Variables
6%
Memory States
6%
Computer Science
Static Program Analysis
100%
Experimental Result
46%
Program Analysis
39%
Abstract Interpretation
34%
C Program
29%
Open Source
25%
Symbolic Execution
20%
Analysis Technique
18%
Context-Sensitive Analysis
18%
Search Heuristic
18%
Learning Algorithm
15%
Driven Approach
13%
Smart Contract
13%
Open Source Software
13%
Buffer Overflow
12%
Pointer Analysis
12%
Search Space
12%
Program Synthesis
11%
Learn Strategy
11%
Key Contributor
11%
Program Variable
11%
Open Source Project
9%
Garbage Collection
9%
Circuit Evaluation
9%
Fully Homomorphic Encryption
9%
Automaton
9%
Regular Expression
9%
Global Analysis
9%
Source Codes
9%
Its-Context
9%
Functional Programming
9%
Null Pointer
9%
False Positive
8%
Syntactics
8%
Sensitive Analysis
7%
Target Program
7%
Preprocessor
6%
Supervised Learning
6%
Analysis Process
6%
Execution Path
6%
Software Component
5%
Training Data
5%
Ethereum
5%
