Automate Rust crate path exploration with fuzzing and symbolic/concolic execution.
npx skills add https://github.com/sahajamoth/apex --skill exploration-crew
Please help me install this Agent Skill. Skill: exploration-crew Source: https://github.com/sahajamoth/apex/tree/main/.agents/skills/exploration-crew Command: npx skills add https://github.com/sahajamoth/apex --skill exploration-crew
Automates robust exploration of program paths to uncover edge cases and potential vulnerabilities using fuzzing and symbolic/concolic execution.
Run the exploration crew to fuzz and symbolically analyze the codebase paths within crates/apex-fuzz, crates/apex-symbolic, and crates/apex-concolic.
High-intent search queries and answers about installing and using this skill.
Automate dynamic path exploration by coordinating fuzzing and symbolic or concolic execution across Rust crates to uncover edge cases, performance issues, and security gaps. Use standard Rust testing patterns like #[cfg(test)] modules for integration.
Concolic execution combines concrete and symbolic execution to drive deep program path exploration. It automates uncovering hidden edge cases and potential vulnerabilities in software testing workflows.
Set up dynamic path exploration workflows using standard Rust testing patterns within owned paths. Run coordinated fuzzing and symbolic analysis across designated crates like apex-fuzz, apex-symbolic, and apex-concolic.
Yes, you can keep heavy dependencies optional by placing them behind feature flags. The dynamic path exploration workflow enforces ownership constraints and prioritizes performance by editing only within owned paths.
The best way to find security gaps is applying fuzzing-driven dynamic path exploration. Coordinating fuzzing, symbolic, and concolic tooling across crates uncovers edge cases and vulnerabilities effectively.
Dynamic path exploration is constrained by ownership boundaries, meaning it cannot edit files outside owned paths. Additionally, integrating heavy tooling dependencies requires careful management using optional feature flags.
warpdotdevAutomate creation, organization, and execution of Rust unit tests with cargo test.
wzh4464Analyze agent-generated code changes against human-approved PRs with file and function coverage.
erenisiklarFuzz Rust codebases with cargo-fuzz and libFuzzer to identify bugs.
SKY-lvScan code, dependencies, and configurations for security vulnerabilities.
