Example test case and build issue

themaplelab / averroes

Java bytecode generator for sound and precise partial program analysis

Eclipse Public License 2.0

23 stars 7 forks source link

Example test case and build issue #16

Closed dseekatz closed 4 years ago

dseekatz commented 4 years ago

Two changes in this pull request:

1) Fixing an issue with the RTA expected output for the "example" test case. Array reads were previously not properly modelled. Reading an array element should result in the array being assigned to RTA.set

2) Removing FlowDroid test cases to fix our build issue