Nachricht
- Neue Kurssoftware -Sicherheitsanalyse zur Analyse und Überprüfung von Lerncode mit SVF für Spaß und Fachwissen!
- SVF unterstützt jetzt LLVM-16.0.0 mit undurchsichtigen Zeigern (beigetragen von Xiao Cheng).
- Modernisierung von SVFs CMake (beigetragen von Johannes).
- SVF unterstützt jetzt LLVM-13.0.0 (danke Shengjie Xu für seine Hilfe!).
- Das in unserem OOPSLA -Papier veröffentlichte Objektclustering ist jetzt in SVF erhältlich
- In unserem SAS-Papier veröffentlichte Hash-auf-Sets ist jetzt in SVF erhältlich
- Lern- oder Lehrsoftwareanalyse? Schauen Sie sich SVF-Teaching an!
- SVF unterstützt jetzt LLVM-2.0.0 (danke Xiyu Yang für ihre Hilfe!).
- VSFs, die in unserem CGO -Papier veröffentlicht wurden, ist jetzt in SVF erhältlich
- TypeClone, die in unserem ECOOP -Papier veröffentlicht wurden, ist jetzt in SVF erhältlich
- SVF verwendet jetzt ein einzelnes Skript für seinen Build. Geben Sie einfach
source ./build.sh in Ihrem Terminal ein, das war's! - SVF unterstützt jetzt LLVM-10.0.0!
- Wir danken BSAUCE für das Schreiben eines Benutzerhandbuchs von SVF (Link1 und Link2) in Chinesisch
- SVF unterstützt jetzt LLVM-9.0.0 (danke styoungyoung Lee für seine Hilfe!).
- SVF unterstützt nun eine Reihe von feldempfindlichen Zeigeranalysen.
- Verwenden Sie SVF als externe LIB für Ihr eigenes Projekt (von Hongxu Chen beigetragen).
- SVF unterstützt jetzt LLVM-7.0.0.
- SVF unterstützt jetzt Docker. Probieren Sie SVF in Docker!
- SVF unterstützt jetzt LLVM-6.0.0 (beigetragen von Jack Anthony).
- SVF unterstützt jetzt LLVM-4.0.0 (beigetragen von Jared Carlson. Danke Jared und Will für ihre detaillierten Diskussionen über die Aktualisierung von SVF!)
- SVF unterstützt jetzt die Analyse für C ++ - Programme.
Dokumentation
SVF ist ein statisches Tool für die Wertschubanalyse für LLVM-basierte Sprachen. SVF (CC'16) kann durchführen
- AE ( Abstract Execution ): Cross-Domain-Ausführung (ICSE'24), Artestatanalyse (FSE'24);
- WPA ( Ganzprogrammanalyse ): feldempfindliche (SAS'19), fließempfindliche (CGO'21, oopsla'21) Analyse;
- DDA ( nachfragebedingte Analyse ): fließempfindlich, kontextsensitive Punkte zu Analyse (FSE'16, TSE'18);
- MSSA ( Memory SSA Form Construction ): Speicherregionen, Nebenwirkungen, SSA-Form (JSS'18);
- Sabre ( Speicherfehlerüberprüfung ): Speicherlecks und doppelte Frees (ISSta'12, Tse'14, IcSe'18);
- MTA ( Analyse von Multithread-Programmen ): Wertschüsse für Multithread-Programme (CGO'16);
- CFL ( kontextfreie Analyse der Reichbarkeit ): Standard-CFL-Löser, Graph und Grammatik (oopsla'22, pldi'23);
- SVFIR und MemoryModel ( SVFIR ): SVFIR, Speicherabstraktion und Datenstruktur (SAS'21);
- Diagramme: Erzeugen einer Vielzahl von Grafiken , einschließlich Anrufdiagramm, ICFG, Klassenhierarchie-Diagramm, Einschränkungsgraphen, Wertschöpfungsdiagramm für statische Analysen und Code-Einbettung (OOPSLA'20, TOSEM'21)
Wir veröffentlichen den SVF-Quellcode in der Hoffnung, der Open-Source-Community zugute kommen. Sie werden freundlicherweise gebeten, die Verwendung des Tools zu bestätigen, indem Sie relevante Veröffentlichungen oben verweisen oder zitieren.
Das Doxygen -Dokument von SVF ist hier verfügbar.
| Über SVF | Setup -Handbuch | Benutzerhandbuch | Entwicklerleitfaden |
|---|
 |  |  |  |
| Einführung von SVF - was es tut und wie wir es entwerfen | Eine Schritt -für -Schritt -Setup -Anleitung zum Erstellen von SVF | Befehlszeilenoptionen zum Ausführen von SVF, abrufen Analyseausgaben und Testen von SVF mit einem Beispiel oder PTaben | Detaillierte technische Dokumentation und wie Sie Ihre eigenen Analysen in SVF schreiben oder SVF als LIB für Ihr Tool und den Kurs auf SVF verwenden |
