Odin: Detecting Non-crashing Functional Bugs in Android Apps via Deep-State Differential Analysis

Tools in evaluation

• Odin:
  • Source code:
  • Virtual machine artifact repository

• APE: APE

• ComboDroid: ComboDroid

• Genie: Genie

Subjects

• Can be found inside the virtual machine artifact

Bug Lists

• Additional 11 subjects:

  • AntennaPod: #4991, #4953, #5045, #4279, #4275, #4123

  • AnkiDroid: #9805

  • AmazeFileManager: #2531, #2620

  • And-bible: #1482, 1432

  • AnyMemo: #512

  • Makor: #1366

  • Materialistic: #1451

  • Transistor: #360, 361

  • SkyTube: #984,#990

  • aard2: #110

  • Wikipedia: #5749

• Comparison with Genie:

  • Bugs detected by Odin alone:

    • Tasks: #741

    • UnitConverter: #217

  • Bugs detected by Genie only:

    • ActivityDiary: #261, #288, #289, #291

    • Tasks: #816

    • UnitConverter: #170

    • SimpleTask: #993

    • MyExpense: #650

  • Bugs detected by Genie and Odin:

    • ActivityDiary: #286, #287, #290

    • Tasks: #811

    • UnitConverter: #201

    • Fosdem: #47