MSc-Talk Felix Stegmaier - Inter-procedural Static Analysis for Unsafe Rust using PhASAR
an der Universität Paderborn entwickelt wurde. Es kann interprozedurale Datenflussanalysen für Programme durchführen, die in der Zwischencode-Darstellung des LLVM-Compilersystems geschrieben wurden. Rust [...] verwendet LLVM zur Kompilierung. Daher können Analysen, die mit PhASAR geschrieben wurden, auf Rust-Programme angewendet werden. In dieser Arbeit wird untersucht, ob es möglich ist Datenflussanalysen mit PhASAR [...] inter-prozeduralem Code nicht effektiv ist. Die Arbeit kommt zu dem Schluss, dass PhASAR für Rust-Programme in eingeschränktem Maße geeignet ist. Die Anwendung auf Codebasen aus der Praxis aber erfordert …
