SootUp

수트 업 도서관

이것은 Sootup 프로젝트의 고향입니다. 좋은 오래된 정적 분석 프레임 워크 그을음에 대한 완전한 점검.

그을음이란 무엇입니까?

• JVM 바이트 코드 (및 기타 입력!)를 중간 표현 Jimple로 변환합니다.
• 분류 생성을 제공합니다
• 다른 알고리즘/정밀도가있는 콜 그라프 생성
• Heros가 가능하게하는 IDE/IFDS 프레임 워크를 통한 교차 데이터 흐름 분석
• 방법 본문 검색에 간단한 변환을 적용합니다 ( BodyInterceptor 참조)
• Jimple IR의 구문 분석 및 직렬화를 제공합니다.

시작하기

문서 및 사용 예제는 예제에서 확인할 수 있습니다. Javadocs를 확인하십시오. 질문이 있습니까? 토론을 시작하십시오.

그을음 개선

(전임자 그을음에 비해.)

• 새로운 개선 된 API (글로벌/싱글 톤 없음)
• 완전히 평행 할 수있는 아키텍처
• 게으른 클래스 로딩을 활성화합니다 (더 이상 중고/종속 클래스의 인터리브 로딩 없음)
• 초기 전략 실패 - 객체를 구성/빌드하는 동안 입력 유효성 검사
• 최신 (예 : Java8!) SourceCode 프론트 엔드 (조심 : 아직 시도 캐치 입력을 처리 할 수 ​​없습니다!)
• 바이트 코드에 대한 전체 Java 21 지원
• 다중보기 (더 이상 단일 정적 장면 없음)
• 불변의 Jimple IR 객체 및 그래프

Sootup을 자유롭게 개선하십시오!

기여

피드백 및 기능 요청의 경우 적절한 문제를 가장 잘 작성하십시오.
질문과 설명은 토론을 사용하십시오.

출판물

Sootup 논문은 더 자세한 내용과 Sootup의 디자인 결정에 대해 설명합니다.
Preprint도 사용할 수 있습니다.

연구 작업에서 수트를 사용하는 경우 다음과 같이 자유롭게 인용하십시오.

 @InProceedings{10.1007/978-3-031-57246-3_13,
author="Karakaya, Kadiray
and Schott, Stefan
and Klauke, Jonas
and Bodden, Eric
and Schmidt, Markus
and Luo, Linghui
and He, Dongjie",
editor="Finkbeiner, Bernd
and Kov{'a}cs, Laura",
title="SootUp: A Redesign of the Soot Static Analysis Framework",
booktitle="Tools and Algorithms for the Construction and Analysis of Systems",
year="2024",
publisher="Springer Nature Switzerland",
address="Cham",
pages="229--247",
isbn="978-3-031-57246-3"
}

지지자

Sootup의 개발은 독일 연구 재단 (DFG)과 HNI (Heinz Nixdorf Institute)의 관대 한 지원으로 자금을 조달합니다.

스폰서가 되십시오!