VALAR: Streamlining Alarm Ranking in Static Analysis with Value-Flow Assisted Active Learning.
Pengcheng LiuYifei LuWenhua YangMinxue PanPublished in: ASE (2023)
Keyphrases
- static analysis
- active learning
- dynamic analysis
- source code
- ranking algorithm
- symbolic execution
- malicious code
- regular expressions
- expected loss
- java card
- learning to rank
- random sampling
- monitoring system
- web search
- ranking functions
- test generation
- abstract interpretation
- test suite
- supervised learning
- selective sampling
- semi supervised
- learning process
- real world
- cost sensitive
- model checking
- relevance feedback
- learning algorithm