reaching-definition-analysis

There are 0 repository under reaching-definition-analysis topic.

• Learner0x5a / DataFlowAnalysis-miasm

  Generate data-flow graph and def-use graph for a function based on miasm and IDA Pro.

  data-flow-analysisdata-flow-graphida-proidapythonmiasmreaching-definition-analysisdef-use-analysisidaproreversebinary-liftingreverse-engineering
  Language:Python 15

• daramkun / RDA

  Reaching Definition Analysis - Advanced Compiler class homework

  study-projecthomeworkassignmentllvmreaching-definition-analysisrdacompiler-classcxxcppchungnam-national-universitygraduate-schoolreaching-definitions
  Language:C++ 4

• Abhi24krishna / Program-Analysis-using-Ast2json

  This project is used to extract some basic assignment statements, loop conditions from the given python program. Using static control flow analysis, the project can be used to create a control flow graph. Using Reaching definition and live variable analysis, one can eliminate dead code from the program.

  abstract-syntax-treeast2jsonpython3control-flow-graphreaching-definition-analysislive-variable-analysisdead-code-elimination
  Language:Python 2

• Abhi24krishna / Semantic-Code-Clone-Detection

  Detecting semantically equivalent code clone pairs in two or more code fragments.

  python3reaching-definition-analysislive-variable-analysiscontrol-flow-graphdead-code-eliminationsemantic-equivalence
  Language:Jupyter Notebook 2

• SwathiSBhat / Static-program-analysis-techniques

  Implementation of different forms of static program analysis techniques

  andersen-analysiscontrol-flow-analysisprogram-analysisprogram-slicingreaching-definition-analysistaint-analysisstatic-program-analysis
  Language:C++ 0

• thisisnotgcsar / f3s

  Static analysis tool for format string vulnerability detection

  angrformat-stringreaching-definition-analysisstatic-analysistaint-analysis
  Language:Python