I am looking to do some Data Flow Analysis via code. I have already the code that parses a binary and disassembles it (x86/x64) and creates Basic Blocks.
Now what I would like to do is, for any Basic Block, analyze the effect of each instruction and compose all these effects to derive information at basic block boundaries.
Also I would like to perform Variable Tracking and Live Variable Analysis. Last, CFG (Control Flow Graph) to see all these effects across basic blocks.
Is there any available C/C+ Lib or subset of any Open Source Project that can help me achieve this?