Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
Detail produktu
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
5. 5. 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