Detail produktu

Broom: A Static Analyzer for C Based on Separation Logic and the Principle of Bi-Abductive Reasoning

ROGALEWICZ, A. ŠOKOVÁ, V. VOJNAR, T. HOLÍK, L. PERINGER, P. ZULEGER, F.

Typ produktu

software

Abstrakt

Broom is a static analyzer for C written in OCaml. Broom primarily aims at programs that use low-level pointer manipulation to deal with various kinds of linked lists. It is based on separation logic and the principle of bi-abductive reasoning.

Klíčová slova

programs with dynamic linked data structures, programs with pointers, low-level pointer operations, C, OCaml, static analysis, shape analyzer, separation logic, bi-abduction, program verification

Datum vzniku

05.05.2022

Umístění

https://pajda.fit.vutbr.cz/rogalew/broom/-/tree/v0.0.1

Možnosti využití

K využití výsledku jiným subjektem je vždy nutné nabytí licence

Licenční poplatek

Poskytovatel licence na výsledek nepožaduje licenční poplatek

www

Dokumenty