https://github.com/ispras/crusher

https://github.com/ispras/crusher

binary-analysis bug-detection concolic concolic-execution coverage-guided-fuzzing dse dynamic-symbolic-execution fuzzing hybrid-fuzzing static-analysis symbolic symbolic-execution

Last synced: 5 days ago
JSON representation

• Host: GitHub
• URL: https://github.com/ispras/crusher
• Owner: ispras
• License: mit
• Created: 2020-09-23T11:35:34.000Z (over 4 years ago)
• Default Branch: master
• Last Pushed: 2024-11-11T12:02:53.000Z (about 1 month ago)
• Last Synced: 2024-12-08T09:40:13.905Z (16 days ago)
• Topics: binary-analysis, bug-detection, concolic, concolic-execution, coverage-guided-fuzzing, dse, dynamic-symbolic-execution, fuzzing, hybrid-fuzzing, static-analysis, symbolic, symbolic-execution
• Language: Python
• Homepage:
• Size: 31.9 MB
• Stars: 40
• Watchers: 8
• Forks: 15
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
## Crusher

Репозиторий содержит примеры запуска, образцы пользовательских плагинов, а также полезные скрипты для работы с комплектом инструментов анализа, входящих в поставку `Crusher`.

### FAQ

Практические истории и примеры как делать надо и не надо - [FAQ](FAQ)

### Примеры запуска

Примеры фаззинга на `Linux` - [Examples/Crusher/Linux](Examples/Crusher/Linux).

### Пользовательские плагины

Примеры использования и написания пользовательских плагинов для инструмента `Crusher`, а также образцы плагинов - [Plugins](Plugins)

### Peach Pits

Формат `Peach Pit` позволяет описать структуру входных данных для фаззинга и применяемые к отдельным полям данных мутации - [PeachPits](PeachPits)

### Sydr

Sydr - инструмент динамической символьной интерпретации на базе

[Triton](https://github.com/JonathanSalwan/Triton) и

[DynamoRIO](https://github.com/DynamoRIO/dynamorio). Инструмент позволяет

получить наборы входных данных для инвертирования условных переходов, которые

встретились по ходу выполнения программы.

Примеры запуска на реальных программах можно найти в директории

[Examples/Sydr](Examples/Sydr).

### Containers

Различные шаблоны контейнеров которые можно использовать для оркестрации процесса фаззинга приложений, требующих изоляции по ресурсам, и анализа результатов.

Примеры фаззинга на `Linux` - [Containers/Crusher/Linux](Containers/Crusher/Linux).