Skip to content
Snippets Groups Projects
Forked from pub / frama-c
Source project has a limited visibility.
user avatar
Basile Desloges authored
- Add prefix parameter to `Smart_stmt.rtl_call`
- Remove `Smart_stmt.lib_call` and replace it with calls to `Smart_stmt.rtl_call`
- Add `Smart_stmt.call` to call an arbitrary function from the AST
- Use `Smart_stmt.call` when generating calls to `malloc` and `free
b4636e57
History
Name Last commit Last update