Software Releases

(More at github)

  1. An Automated Computer Query Generation Method and System for Building Information Modeling (BIM). Open Source Release, adopted by DOE EEB HUB. (2013).
  2. Cruiser, released in 2014 under Apache License 2.0, sponsored by the National Science Foundation (NSF) under the Grant No. CNS-1223710. Download local copy here.
  3. Tailored Application-specific System Call Tables. Open Source Software Release. (2014). System call customization patch for Linux 2.6.32.59, binary-based system call analysis code as IDA Pro plugins, and the technical report. Sponsored by Office of Naval Research (ONR) under the Grants No. N00014-13-1-0175 and N00014-16-1-2265.
  4. ViewDroid: Towards Obfuscation-Resilient Mobile Application Repackaging Detection, released in 2014, sponsored by the National Science Foundation (NSF) under the Grant No. CCF-1320605. Download here.
  5. LOOP Opaque Predicate Detector, released in 2015, sponsored by National Science Foundation (NSF) under the Grant No. CCF-1320605.
  6. IFC Importer for OpenStudio, released in 2016, sponsored by U.S. Department of Energy (DOE), National Energy Technology Laboratory (NETL), under the Grant DE-EE0004261.
  7. Uroboros: Reassembleable Disassembling, released in 2015, sponsored by Office of Naval Research (ONR) under the Grants No. N00014-13-1-0175 and N00014-16-1-2265, and National Science Foundation (NSF) under the Grant No. CNS-1223710. Uroboros has been adopted by 2 teams among the 7 finalists in the 2016 DARPA Cyber Grand Challenge (CGC) competition!
  8. Efficient Multi-threaded Binary Code Control Flow Profiling Pintool. Open Source Release. Sponsored by the National Science Foundation (NSF) under the Grant No. CNS-1223710. (2016).
  9. A Generalized Dynamic Opaque Predicate Obfuscator. Open Source Release. Sponsored by National Science Foundation (NSF) under the Grant No. CCF-1320605. (2016).
  10. Amoeba: Binary Code Diverisfication through Composite Software Diversification. Open Source Release. Sponsored by Office of Naval Research (ONR) under the Grants No. N00014-13-1-0175 and N00014-16-1-2265. (2017).
  11. Dongpeng Xu, Jiang Ming, and Dinghao Wu. CryptoHunt: Cryptographic Function Detection in Obfuscated Binaries via Bit-precise Symbolic Loop Mapping. Open Source Release. Sponsored by Office of Naval Research (ONR) under the Grants No. N00014-13-1-0175 and N00014-16-1-2265. (2017).
  12. Dongpeng Xu, Jiang Ming, Yu Fu, and Dinghao Wu. VMHunt: A Verifiable Approach to Partially-Virtualized Binary Code Simplification. Open Source Release. Sponsored by Office of Naval Research (ONR) under the Grants No. N00014-13-1-0175 and N00014-16-1-2265. (2018).
  13. Xiao Liu and Dinghao Wu. Regex-Verifier: A Lightweight Framework for Regular Expression Verification. Open Source Release. Sponsored by National Science Foundation (NSF) under the Grant No. CNS-1652790. (2018).
  14. Xiao Liu and Dinghao Wu. AutoGrader: Automatic Grading of Programming Assignments: An Approach Based on Formal Semantics. Open Source Release. Sponsored by National Science Foundation (NSF) under the Grant No. CNS-1652790. (2019).
  15. Xiao Liu and Dinghao Wu. DeepFuzz: Automatic Generation of Syntax Valid C Programs for Fuzz Testing. Open Source Release. Sponsored by National Science Foundation (NSF) under the Grant No. CNS-1652790. (2019).