Frama-C API - Builtins_memory
Nothing is exported, all the builtins are registered through Builtins.register_builtin
Frama-C Frama-C Builtins_memoryNothing is exported, all the builtins are registered through Builtins.register_builtin