foxdec-0.1.0.0: Formally Verified x86-64 Decompilation
Safe HaskellNone
LanguageHaskell2010

NASM.L0ToNASM

Description

 
Synopsis

Documentation

lift_L0_to_NASM :: Context -> NASM Source #

Lift an L0 representation to position-independent NASM

render_NASM :: Context -> NASM -> String Source #

Rendering NASM to a String

__gmon_start_implementation :: [Char] Source #

There is one specific symbol frequently encountered for which we cannot find the appropiate library to load. It is related to debugging information (the -g option of GCC). We therefore pvodie our own implementation: just a dummy, which is what the real function seems to do as well.

data NASM Source #

NASM contains external symbols, sections, and a footer