lisa
0.1
Lisa (정적 분석을위한 라이브러리)는 추상 해석 이론을 기반으로 정적 분석기의 생성 및 구현을 완화하는 것을 목표로합니다. LISA는 분석 할 프로그램의 일반적이고 확장 가능한 제어 흐름 그래프 표현에 작동하는 분석 엔진을 제공합니다. LISA의 초록 통역사는 이러한 표현을 분석하기 위해 구축되어이를 의존 할 모든 분석기에 대한 고유 한 분석 인프라를 제공합니다.
LISA에 분석기를 구축하는 것은 분석을 목표로하는 언어에 대한 파서를 작성하여 소스 코드를 번역하거나 컴파일 된 코드를 LISA의 제어 흐름 그래프 표현을 향한 것으로 간주합니다. 그런 다음, Semantic Analyzes에서 제공 한 결과를 반복하는 간단한 점검을 쉽게 정의하여 의미 론적 정보를 최종 사용자에게 가치가있는 경고로 변환 할 수 있습니다.
자세한 내용, 문서 및 유용한 안내서는 프로젝트 웹 사이트를 참조하십시오!
Lisa는 이탈리아 베니스의 소프트웨어 및 시스템 검증 (SSV) 그룹 @ Università Ca 'Foscari에 의해 개발 및 유지됩니다. 외부 기부금은 항상 환영합니다! Lisa에 기여하는 방법에 대한 정보는 기고 가이드 라인을 확인하십시오.
릴리스 전체 목록은 릴리스 페이지로 이동하십시오.
master 브랜치의 마지막 커밋의 스냅 샷은 항상 Github 패키지에서 사용할 수 있습니다. 종속성을 해결하기 위해 패키지를 서버로 사용하려면 개인 액세스 토큰이 필요합니다. 자세한 내용은 Maven 또는 Gradle의 공식 Github 가이드를 참조하십시오.
