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

Leave a Reply
You must be logged in to post a comment.