Hybrid Static Analysis

Hybrid Static Analysis is a static program analysis technique that integrates multiple analysis methodologies—such as symbolic execution, abstract interpretation, and data flow analysis—with external validation mechanisms, such as runtime or dynamic information, to enhance precision and scalability in detecting software vulnerabilities.

Publications

1.6K

Citations

115

Authors

Institutions

Publications per year

2017–2026

Parents

Dynamic Application Security Testing

Publications

A comparison of static, dynamic, and hybrid analysis for malware detection

Anusha Damodaran, Fabio Di Troia, Corrado Aaron Visaggio et al. · Journal of Computer Virology and Hacking Techniques · 2015 · 462 citations · Full text

Computing, Computer Science, Cybersecurity +13

Hybrid Analysis: Static & Dynamic Memory Reference Analysis

Silvius Rus, Lawrence Rauchwerger, Jay Hoeflinger · International Journal of Parallel Programming · 2003 · 88 citations

Engineering, Computer Engineering, Computer Science +13

Hybrid uncertain static analysis with random and interval fields

Di Wu, Wei Gao · Computer Methods in Applied Mechanics and Engineering · 2016 · 83 citations

Computing, Mathematics, Systems Engineering +13

Efficient hybrid typestate analysis by determining continuation-equivalent states

Eric Bodden · 2010 · 70 citations

Computing, Computer Engineering, Computer Science +15

Hybrid slicing

Rajiv Gupta, Mary Lou Soffa, John Howard · ACM Transactions on Software Engineering and Methodology · 1997 · 65 citations · Full text

Computing, Computer Engineering, Computer Science +13

1–5 of 39

Authors

115

ML
Mary Lou Soffa
University of Pittsburgh, United States
3 publications · 125 citations
3
h-index
RG
Rajiv Gupta
University of California, Riverside, United States
3 publications · 125 citations
3
h-index
HB
Hamid Bagheri
University of Nebraska–Lincoln, United States
2 publications · 65 citations
2
h-index
AS
Alireza Sadeghi
University of California, Irvine, United States
2 publications · 65 citations
2
h-index
PM
Peter M. Chen
University of Michigan, United States
2 publications · 42 citations
2
h-index

1–5 of 115

Institutions

1–8 of 48

Venues

International Conference on Software Engineering
Conference · 2 publications · 43 citations
2
h-index
IEEE Transactions on Power Systems
1 publications · 44 citations
1
h-index
ACM Transactions on Design Automation of Electronic Systems
TODAES · 1 publications · 22 citations
1
h-index
Computer
1 publications · 19 citations
1
h-index
Strathprints: The University of Strathclyde institutional repository (University of Strathclyde)
Repository · 1 publications · 40 citations
1
h-index

1–5