Дай на агента си умения

Използвайте, когато извършвате диференциален преглед.

Предоставя експертиза за анализ на DWARF дебъг файлове и разбиране на DWARF дебъг формата/стандарта (v3-v5). Активира се при разбиране на DWARF информация, взаимодействие с DWARF файлове, отговаряне на DWARF-свързани въпроси или работа с код, който анализира DWARF данни.

Анализира кодови бази на смарт договори, за да идентифицира входни точки, променящи състоянието, за одит на сигурността. Открива външно извикваеми функции, които променят състоянието, категоризира ги по ниво на достъп и генерира структурирани одитни доклади. Използвайте при одит на смарт договори или когато е необходимо да се намерят входни точки, потоци за одит, външни функции, модели за контрол на достъпа или привилегировани операции.

Сканира Android APK файлове за неправилни конфигурации на сигурността на Firebase, включително отворени бази данни, хранилища, проблеми с удостоверяването и изложени облачни функции. Използвайте при анализ на APK файлове за уязвимости на Firebase, извършване на одити на сигурността на мобилни приложения или тестване на сигурността на крайни точки на Firebase.

Конфигурира Python проекти с модерни инструменти (uv, ruff, ty). Използвайте при създаване на проекти, писане на самостоятелни скриптове или мигриране от pip/Poetry/mypy/black.

Предоставя насоки за тестване, базирано на свойства, в множество езици и смарт договори. Използвайте при писане на тестове, преглед на код с модели за сериализация/валидация/анализ, проектиране на функции или когато тестването, базирано на свойства, би осигурило по-силно покритие от тестовете, базирани на примери.

Създава персонализирани Semgrep правила за откриване на уязвимости в сигурността, модели на грешки и кодови модели. Използвайте при писане на Semgrep правила или изграждане на персонализирани статични анализи.

Създава езикови варианти на съществуващи Semgrep правила. Използвайте при пренасяне на Semgrep правило към определени целеви езици, като се взема съществуващо правило и целеви езици като вход и се произвеждат независими директории за правила и тестове за всеки език.

Идентифицира податливи на грешки API-та, опасни конфигурации и дизайни, които водят до грешки в сигурността. Използвайте при преглед на API дизайни, конфигурационни схеми, ергономичност на криптографски библиотеки или оценка дали кодът следва принципите за „сигурност по подразбиране“ и „път към успеха“.

Проверява дали кодът имплементира точно това, което е посочено в документацията за блокчейн одити. Използвайте при сравняване на код с бели книги, намиране на пропуски между спецификациите и имплементацията или извършване на проверки за съответствие на имплементации на протоколи.

Намира подобни уязвимости и грешки в кодови бази чрез анализ, базиран на модели. Използвайте при търсене на варианти на грешки, изграждане на CodeQL/Semgrep заявки, анализ на уязвимости в сигурността или извършване на систематични одити на код след откриване на първоначален проблем.