atheris

📁 plurigrid/asi 📅 7 days ago
1
总安装量
1
周安装量
#45489
全站排名
安装命令
npx skills add https://github.com/plurigrid/asi --skill atheris

Agent 安装分布

amp 1
opencode 1
kimi-cli 1
codex 1
gemini-cli 1

Skill 文档

Atheris Skill

Trit: -1 (MINUS) Category: testing-handbook-skills Author: Trail of Bits Source: trailofbits/skills License: AGPL-3.0

Description

Python fuzzing with Atheris for discovering vulnerabilities in Python code.

When to Use

This is a Trail of Bits security skill. Refer to the original repository for detailed usage guidelines and examples.

See: https://github.com/trailofbits/skills

Related Skills

  • audit-context-building
  • codeql
  • semgrep
  • variant-analysis

SDF Interleaving

This skill connects to Software Design for Flexibility (Hanson & Sussman, 2021):

Primary Chapter: 3. Variations on an Arithmetic Theme

Concepts: generic arithmetic, coercion, symbolic, numeric

GF(3) Balanced Triad

atheris (+) + SDF.Ch3 (○) + [balancer] (−) = 0

Skill Trit: 1 (PLUS – generation)

Connection Pattern

Generic arithmetic crosses type boundaries. This skill handles heterogeneous data.