Name
Title | ||
|---|---|---|
A Light-Weight and Accurate Method of Static Integer-Overflow-to-Buffer-Overflow Vulnerability Detection. |
Year | DOI | Venue |
|---|---|---|
2018 | 10.1007/978-3-030-14234-6_22 | Inscrypt |
Field | DocType | Citations |
Test suite,Integer overflow,Computer science,Static analysis,Theoretical computer science,Dataflow,Taint checking,Computer engineering,False positive paradox,Satisfiability modulo theories,Buffer overflow | Conference | 1 |
PageRank | References | Authors |
0.35 | 0 | 8 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Mingjie Xu | 1 | 1 | 0.35 |
| Shengnan Li | 2 | 3 | 4.87 |
| lili xu | 3 | 10 | 3.92 |
| Feng Li | 4 | 8 | 3.46 |
| Wei Huo | 5 | 47 | 6.02 |
| Jing Ma | 6 | 7 | 4.03 |
| Xinhua Li | 7 | 1 | 0.35 |
| Qingjia Huang | 8 | 10 | 1.90 |