Support 'malloc' in flat memory model

ftsrg / gazer

An LLVM-based formal verification frontend for C programs.

24 stars 5 forks source link

Support 'malloc' in flat memory model #86

Open sallaigy opened 3 years ago

sallaigy commented 3 years ago

Currently we do not have support 'malloc' (or dynamic memory allocation in general) in the flat memory model. Even though parts of the required API exist, we should add full, user-level support for it.