소식
- 재미 있고 전문 지식을위한 SVF를 통한 학습 코드 분석 및 검증을위한 새로운 코스 소프트웨어 보안 분석!
- SVF는 이제 불투명 포인터 (Xiao Cheng에 의해 기여)를 사용하여 LLVM-16.0.0을 지원합니다.
- SVF의 CMAKE (Johannes에 의해 기여) 현대화.
- SVF는 이제 LLVM-13.0.0을 지원합니다 (도움을 주신 Shengjie Xu에게 감사합니다!).
- oopsla 용지에 게시 된 객체 클러스터링은 이제 SVF에서 사용할 수 있습니다.
- SAS 용지에 게시 된 해시 묶은 포인트-투 세트는 이제 SVF에서 사용할 수 있습니다.
- 소프트웨어 분석 학습 또는 교육? svf-eaching을 확인하십시오!
- SVF는 이제 LLVM-122.0.0을 지원합니다 (Xiyu Yang에게 도움을 주셔서 감사합니다!).
- CGO 논문에 게시 된 VSFS는 이제 SVF에서 구입할 수 있습니다.
- ECOOP 용지에 게시 된 TypEclone은 이제 SVF에서 구입할 수 있습니다.
- SVF는 이제 빌드에 단일 스크립트를 사용합니다. 터미널에
source ./build.sh 를 입력하십시오. - SVF는 이제 LLVM-10.0.0을 지원합니다!
- 중국어로 SVF (Link1 및 Link2)의 사용자 설명서를 작성해 주신 Bsauce에게 감사드립니다.
- SVF는 이제 LLVM-9.0.0을 지원합니다 (그의 도움을 주신 Byoungyoung Lee에게 감사합니다!).
- SVF는 이제 필드에 민감한 포인터 분석 세트를 지원합니다.
- SVF를 자신의 프로젝트 (Hongxu Chen에 의해 기여)의 외부 Lib로 사용하십시오.
- SVF는 이제 LLVM-7.0.0을 지원합니다.
- SVF는 이제 Docker를 지원합니다. Docker에서 SVF를 사용해보십시오!
- SVF는 이제 LLVM-6.0.0 (Jack Anthony에 의해 기여)을 지원합니다.
- SVF는 이제 LLVM-4.0.0을 지원합니다 (Jared Carlson의 기여. Jared에게 감사의 말씀을 전합니다. SVF 업데이트에 대한 심층적 인 토론에 감사드립니다!)
- SVF는 이제 C ++ 프로그램의 분석을 지원합니다.
선적 서류 비치
SVF 는 LLVM 기반 언어를위한 정적 가치 흐름 분석 도구입니다. SVF (CC'16)가 수행 할 수 있습니다
- AE ( 추상 실행 ) : 크로스 도메인 실행 (ICSE'24), 타이핑 분석 (FSE'24);
- WPA ( 전체 프로그램 분석 ) : 필드에 민감한 (SAS'19), 유동-민감성 (CGO'21, oopsla'21) 분석;
- DDA ( 수요 중심 분석 ) : 흐름에 민감한 상황에 관계없이 포인트-투-투-투-투-투-투어 (FSE'16, tse'18);
- MSSA ( 메모리 SSA 형식 구성 ) : 메모리 영역, 부작용, SSA 양식 (JSS'18);
- SABER ( 메모리 오류 확인 ) : 메모리 누출 및 이중 프라이드 (ISSTA'12, TSE'14, ICSE'18);
- MTA ( 멀티 스레드 프로그램의 분석 ) : 멀티 스레드 프로그램의 가치 흐름 (CGO'16);
- CFL ( Context-Free-Recubability Analysis ) : 표준 CFL 솔버, 그래프 및 문법 (oopsla'22, pldi'23);
- svfir 및 memoryModel ( SVFIR ) : SVFIR, 메모리 추상화 및 포인트-투-투-투-투-투어 데이터 구조 (SAS'21);
- 그래프 : 통화 그래프, ICFG, 클래스 계층 구조 그래프, 제약 조건 그래프, 정적 분석을위한 가치 흐름 그래프 및 코드 임베딩 (oopsla'20, tosem'21)을 포함한 다양한 그래프 생성
우리는 오픈 소스 커뮤니티에 혜택을주기 위해 SVF 소스 코드를 출시합니다. 귀하는 위의 관련 출판물을 참조하거나 인용하여 도구의 사용을 인정해야합니다.
SVF 의 doxygen 문서는 여기에서 제공됩니다.
| SVF 정보 | 설정 가이드 | 사용자 안내서 | 개발자 가이드 |
|---|
 |  |  |  |
| SVF 소개 - 그것이하는 일과 우리가 디자인하는 방법 | SVF 빌드를위한 단계별 설정 가이드 | SVF를 실행하고 분석 출력을 얻고 예제 또는 PTABEN으로 SVF를 테스트하는 명령 줄 옵션 | 자세한 기술 문서 및 SVF에서 자신의 분석을 작성하거나 SVF를 도구의 LIB로 사용하고 SVF의 과정을 사용하는 방법 |
