Implement "real" analyses

Issue #17 new
Chris Phillips
repo owner created an issue

Port implementations of analyses from 290C to PySleuth / Lingo to demonstrate that PySleuth is capable of handling complicated analyses.

Comments (7)

  1. Chris Phillips reporter

    Try to get at least the following analyses:

    - Context Insensitive Constant Propagation - Context Sensitive Constant Propagation - Context Insensitive Pointer Analysis

  2. Chris Phillips reporter

    The existing analyses cover the basic workflow-based analyses. PySleuth could be used for Andersen-style analyses but it might take some work or a clever use of the workflow system to get it to fit right.

    Since examples of both simple and complicated analyses are available, I'm downgrading this to a medium priority.

  3. Log in to comment