Static Analysis Symposium - Workshop on Static Analysis - (WSA_SAS 1993 - 2019)


Соломенные сандалии
Архив - Static Analysis Symposium - Workshop on Static Analysis - (WSA_SAS 1993 - 2019)

Welcome to the 27th Static Analysis Symposium (SAS 2020)! -

Static analysis is widely recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. The series of Static Analysis Symposia has served as the primary venue for the presentation of theoretical, practical, and application advances in the area.

Некоторые работы участников можно найти на github или на приватных страничках, в пример и его проект, SVF is a source code analysis tool that enables interprocedural dependence analysis for LLVM-based languages. SVF is able to perform pointer alias analysis, memory SSA form construction, value-flow tracking for program variables and memory error checking. SVF is a static tool that enables scalable and precise interprocedural dependence analysis for C and C++ programs. SVF allows value-flow construction and pointer analysis to be performed iteratively, thereby providing increasingly improved precision for both.

What kind of analyses does SVF provide?
  • Call graph construction for C and C++ programs
  • Field-sensitive Andersen's pointer analysis
  • Sparse flow-sensitive pointer analysis
  • Value-flow dependence analysis
  • Interprocedural memory SSA
  • Detecting source-sink related bugs, such as memory leaks and incorrect file-open close errors.
  • An Eclipse plugin for visualizing bugs
Для просмотра содержимого вам необходимо Войти в систему.
Верх Низ