Designing Taint Analysis

In this task, you will design a taint analysis based on principles of Data Flow Analysis. In order to do so, thelattice, type of the analysis (May/Must, Forward/Backward) and why, description of the data structure usedin the analysis, gen and kill functions for different instructions, block entry and exit equations and descrip-tion on how to reach Fixpoint over a simple while language should bedefined for the taint analysis. instructions to be used : Alloca, Add, Sub, Div, Mul, Rem, and Load/Store

I need an assistance to design tainted analysis because i will need it to write LLvM pass to perform taint analysis.

I need a report with description of the tainted analysis

Requirements: based on tainted analysis requirements

WRITE MY PAPER


Comments

Leave a Reply