Master

Merged
#45 · Created  · Last updated

Merged pull request

Merged in yanniss/doop-nexgen (pull request #45)

8934327·Author: ·Closed by: ·2018-08-06

Description

  • Skip compilation step when stop-at-facts is used

  • Fix Jimple directory structure when using upstream Soot.

  • Use only tags to read constant field values.

  • Change in oracular metrics

  • Change sensitivity-heuristics.dl to oracular-heuristics.dl

  • Add usage reminder message for jimple2json.

  • Move scaler.py under bin directory

  • Minor change

  • Add oracular files

  • Sort by header to minimize diff changes.

  • Parse identifiers from latest (stable) upstream Soot.

  • Add oracular.py script under bin

  • Change special-2-object-sensitive+heap name to oracular

0 attachments

0 comments

Loading commits...