Awesome-symbolic-execution Alternatives

Similar projects and alternatives to awesome-symbolic-execution based on common topics and language

• awesome-malware-analysis

  8 11,071 0.0 awesome-symbolic-execution VS awesome-malware-analysis

  Defund the Police.

• Triton

  4 3,303 7.5 C++ awesome-symbolic-execution VS Triton

  Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code. (by JonathanSalwan)

• InfluxDB

  www.influxdata.com featured

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

• bap

  3 1,981 4.6 OCaml awesome-symbolic-execution VS bap

  Binary Analysis Platform

  

• CrossHair

  8 948 9.2 Python awesome-symbolic-execution VS CrossHair

  An analysis tool for Python that blurs the line between testing and type systems.

• MobileApp-Pentest-Cheatsheet

  1 4,402 0.0 awesome-symbolic-execution VS MobileApp-Pentest-Cheatsheet

  The Mobile App Pentest cheat sheet was created to provide concise collection of high value information on specific mobile application penetration testing topics.

• awesome-frida

  2 2,918 1.7 awesome-symbolic-execution VS awesome-frida

  Awesome Frida - A curated list of Frida resources http://www.frida.re/ (https://github.com/frida/frida)

• Leesons-Modding-Instructions

  1 3 0.0 awesome-symbolic-execution VS Leesons-Modding-Instructions

  The recordings of my 2 and 1/2 week journey to get a setup running for dynamic testing of Android malware

• SaaSHub

  www.saashub.com featured

  SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives