lava

LAVA: 대규모 자동 취약점 추가 현재 버그 탐지 도구의 평가 및 개선은 ground truth 말뭉치즉, 알려진 버그와 이를 트리거하는 입력이 있는 소프트웨어가 부족하여 어렵습니다. LAVA는 소프트웨어에 버그를 자동으로 주입하여 이 문제를 해결하고자 합니다. 모든 LAVA 버그에는 이를 트리거하는 입력이 함께 제공되는 반면, 정상 입력이 그렇게 할 가능성은 극히 낮습니다. 이러한 취약점은 합성되었지만, 프로그램 깊숙이 내장되어 있고 실제 입력에 의해 트리거된다는 점에서 여전히 현실적이라고 주장합니다. 우리의 연구는 필요에...