LLM 메모리를 만들다 우연히 프로그램 분석 엔진이 된 이야기

<ul> <li>장시간 취약점 조사에서 폐기된 가정과 그에 의존한 결론이 되살아나는 문제를 해결하려다, 지식을 검색하는 메모리 대신 <strong>현재 유효한 분석 상태</strong>를 유지하는 Datalog 엔진 Lemmalog를 개발함</li> <li>LLM은 자연어·코드·디버거 출력을 구조화된 사실로 바꾸고, Lemmalog는 <strong>증분 평...