Static Bug Detection is a static analysis method that identifies software defects by examining program source code without executing it, distinguishing itself through its focus on detecting bugs rather than general code properties or performance metrics.
599
Publications
43.9K
Citations
1.5K
Authors
409
Institutions
Publications per year
2017–2026
221
Parents
Publications
599
Extended static checking for Java
Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge et al. · 2002 · 1.3K citations
David Hovemeyer, William Pugh · 2004 · 775 citations
Slither: A Static Analysis Framework for Smart Contracts
2019 · 758 citations · Full text
1–5 of 599
Authors
1.5K
- DL
15
h-index
- WP
13
h-index
- DE
11
h-index
- SL
10
h-index
- DH
10
h-index
1–5 of 1.5K
Institutions
409
University of Maryland, College Park
College Park, United States
18 h-index
48 publications
6.7K citations
Nanjing University
Nanjing, China
17 h-index
66 publications
2.2K citations
North Carolina State University
Raleigh, United States
17 h-index
52 publications
4.1K citations
Stanford University
Stanford, United States
15 h-index
46 publications
3.9K citations
University of Illinois Urbana-Champaign
Urbana, United States
15 h-index
33 publications
5K citations
University of California, Davis
Davis, United States
15 h-index
30 publications
3.4K citations
Singapore Management University
Singapore, Singapore
15 h-index
42 publications
3.1K citations
Peking University
Beijing, China
11 h-index
35 publications
3.3K citations
1–8 of 409
Venues
- IEEE Transactions on Software Engineering
TSE · 26 publications · 4K citations
21
h-index
- Information and Software Technology
17 publications · 936 citations
15
h-index
- ACM SIGPLAN Notices
15 publications · 1.4K citations
12
h-index
- Journal of Systems and Software
JSS · 11 publications · 674 citations
11
h-index
- arXiv (Cornell University)
Repository · 10 publications · 163 citations
10
h-index
1–5