Bug Detection on Juliet Test Suite C/C++
85.71DBZ PrecisionLLMDFA
Evaluation Results
| Method | Links | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|
| LLMDFABackbone=gpt-3.52024.02 | 85.71 | 83.94 | 84.77 | 100 | 86.83 | 92.92 | 97.36 | 73.68 | 83.98 |
Loading the SOTA2 catalog…
| Method | Links | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|
| LLMDFABackbone=gpt-3.52024.02 | 85.71 | 83.94 | 84.77 | 100 | 86.83 | 92.92 | 97.36 | 73.68 | 83.98 |