Skip to content
This repository has been archived by the owner on Feb 23, 2018. It is now read-only.

Latest commit

 

History

History
35 lines (21 loc) · 3 KB

CHALLENGE.md

File metadata and controls

35 lines (21 loc) · 3 KB
Raw

#Amandroid challenges

Before you take one of the challenges, please contact @fgwei to let him aware. And put a mark (e.g., Resolving by @fgwei) in the end of the challenge to avoid any situation of conflict. You can create a PR following guidance in CONTRIBUTING.md after you resolved it.

##Continuous tasks

#c1. All the APIs should be documented. (Post by @fgwei)

#c2. Error handling in the code need to be cleaned. (Post by @fgwei)

#c3. Amandroid documentations need to be revised. (Post by @fgwei)(Resolving by @fgwei)

##sireum-amandroid #c4. In package org.sireum.amandroid.parser, the LayoutFileParser.scala and ManifestParser.scala only can handle plain text xml files. Better design is to read from raw xml files from apk directly, and parse the equivalent information as current parsers. (Important!) (Post by @fgwei)

#c5. In package org.sireum.amandroid.appInfo, the ReachableInfoCollector.scala need to be updated for adding more callbacks. (Post by @fgwei)

##sireum-amandroid-alir In package org.sireum.amandroid.alir.pta.reachingFactsAnalysis.model:

  • #c6. We need to add more models for android apis. (Post by @fgwei)
  • #c7. Models actually sharing similar desings, the best way of doing it is designing a DSL to write the model in a simpler way and generate the model codes automatically. (Important!) (Post by @fgwei)
  • #c8. API model need to be redesigned to input/output general datas, which allows multiple points-to analysis can share the same model, e.g., SuperSpark and RFA. (Post by @fgwei)

##sireum-amandroid-concurrent #c9. In package org.sireum.amandroid.concurrent, the Actors setting and configuration need to be completed, currently only make sure how the logic works, but we need to make it more beatuiful. (Post by @fgwei)

##sireum-amandroid-dedex In package org.sireum.amandroid.dedex,

  • #c10. Register type resolving in DedexTypeResolver.scala and DexInstructionToPilarParser.scala need to be tested and cleaned (or even redesigned). The main beast is the const4 resoling, as it can be int/short/boolean 0 or object null. (Important!) (Post by @fgwei)
  • #c11. Make the decompiling process faster. (Post by @fgwei)

#c12. Package org.sireum.amandroid.java need to be added, and developing pilar to java translator. (Major task.) (Post by @fgwei)