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 and Office of Naval Research (ONR) under the Grant No. N00014-16-1-2912. (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, N00014-16-1-2265, and N00014-16-1-2912. (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, N00014-16-1-2265, and N00014-16-1-2912. (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, N00014-16-1-2265, and N00014-16-1-2912. (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).
  16. Yanhao Wang, Xiangkun Jia, Yuwei Liu, Kyle Zeng, Tiffany Bao, Dinghao Wu, and Purui Su. TortoiseFuzz: Fuzzing by Coverage Accounting for Input Prioritization. Open Source Release. (2020).
  17. Rui Zhong, Yongheng Chen, Hong Hu, Hangfan Zhang, Wenke Lee, and Dinghao Wu. Squirrel: Testing Database Management Systems with Language Validity and Coverage Feedback. Open Source Release. (2020).
  18. Qinkun Bao, Zihao Wang, James Larus, and Dinghao Wu. Abacus: A Tool for Precise Side-channel Analysis. Open Source Release. Sponsored by National Science Foundation (NSF) under the Grant No. CNS-1652790. (2021).
  19. Yongheng Chen, Rui Zhong, Hong Hu, Hangfan Zhang, Yupeng Yang, Dinghao Wu, and Wenke Lee. Polyglot: One Engine to Fuzz 'em All: Generic Language Processor Testing with Semantic Validation. Open Source Release. (2021).
  20. Yongheng Chen, Rui Zhong, Yupeng Yang, Hong Hu, Dinghao Wu, and Wenke Lee. µFUZZ: Redesign of Parallel Fuzzing using Microservice Architecture. Open Source Release. (2023).