[this includes some relevant work completed before the project started]

Datasets

• xshady - Proof-Of-Vulnerability Tests for common Java vulnerabilities. [paper]
• alternative builds dataset - binaries built from the same source by different organisations (Oracle, Google, RedHat, developer) [paper1], [paper2]
• oracles for the equivalence of java bytecode - pairs of conpiled Java classes that should be classified either as equivalent, or not equivalent [paper]