SF4bin

SF4bin's Stars

• carter-yagemann/ARCUS

  Symbolic Execution Over Processor Traces

  Language:C11619

• ucsb-seclab/karonte

  Karonte is a static analysis tool to detect multi-binary vulnerabilities in embedded firmware

  Language:Python39060

• NSSL-SJTU/SaTC

  A prototype of Shared-keywords aware Taint Checking, a novel static analysis approach that tracks the data flow of the user input between front-end and back-end to precisely detect security vulnerabilities.

  Language:Python27750

• ucsb-seclab/heapster

  Identify and test the security of dynamic memory allocators in monolithic firmware images

  Language:C424

• EmbraceAGI/awesome-chatgpt-zh

  ChatGPT 中文指南🔥，ChatGPT 中文调教指南，指令指南，应用开发指南，精选资源清单，更好的使用 chatGPT 让你的生产力 up up up! 🚀

  Language:Python10.7k887

• lencx/ChatGPT

  🔮 ChatGPT Desktop Application (Mac, Windows and Linux)

  Language:Rust52.7k5.9k

• Significant-Gravitas/AutoGPT

  AutoGPT is the vision of accessible AI for everyone, to use and to build on. Our mission is to provide the tools, so that you can focus on what matters.

  Language:Python168k44.3k

• HackOvert/GhidraSnippets

  Python snippets for Ghidra's Program and Decompiler APIs

  73362

• matrix1001/heapinspect

  🔍Heap analysis tool for CTF pwn.

  Language:Python22120

• takeshixx/tools

  Helper tools and snippets for various tasks.

  Language:Shell55