Bug Detection on Juliet Test Suite C/C++
85.71DBZ Precision
LLMDFA
Updated 4d ago
Evaluation Results
| Method | Links | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|
2024.02 | 85.71 | 83.94 | 84.77 | 100 | 86.83 | 92.92 | 97.36 | 73.68 | 83.98 |
LLMDFA
| Method | Links | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|
2024.02 | 85.71 | 83.94 | 84.77 | 100 | 86.83 | 92.92 | 97.36 | 73.68 | 83.98 |