Skip to content

feat: initialize Sanctifier workspace, core analysis engine, and CLI - #858

Open
SHEROSE0 wants to merge 1 commit into
Centurylong:mainfrom
SHEROSE0:feature/sanctifier-core-init
Open

feat: initialize Sanctifier workspace, core analysis engine, and CLI#858
SHEROSE0 wants to merge 1 commit into
Centurylong:mainfrom
SHEROSE0:feature/sanctifier-core-init

Conversation

@SHEROSE0

@SHEROSE0 SHEROSE0 commented Jul 24, 2026

Copy link
Copy Markdown

#closes #802


📌 Summary

Initializes the main workspace structure and core Rust toolchain for Sanctifier, introducing the static verification engine and developer CLI commands.


🚀 Key Changes

  • Workspace Setup: Added root Cargo.toml defining the sanctifier-core and sanctifier-cli packages.

  • Core Verification Engine (sanctifier-core):

  • Added core data structures for scan results (Finding, Severity, AnalysisReport).

  • Implemented preliminary static analysis detection logic for Soroban vulnerabilities (S001, S002).

  • Developer CLI (sanctifier-cli):

  • Implemented analyze command for scanning contracts (supports text and json outputs).

  • Added --webhook-url parameter for dispatching automated scan alerts.

  • Added badge command for SVG badge and markdown snippet output.

  • Added update command interface.


🧪 How to Test

# 1. Test standard static analysis scan
cargo run --bin sanctifier-cli -- analyze .

# 2. Test JSON report generation
cargo run --bin sanctifier-cli -- analyze . --format json

# 3. Test badge output generation
cargo run --bin sanctifier-cli -- badge --report sanctifier-report.json --svg-output badges/sanctifier-security.svg --markdown-output badges/sanctifier-security.md

#closes

@github-actions github-actions Bot added dependencies Pull requests that update a dependency file rust Pull requests that update rust code area: core-engine sanctifier-core static analysis engine area: cli sanctifier-cli command line tool size/xl labels Jul 24, 2026
@Gbangbolaoluwagbemiga

Copy link
Copy Markdown
Contributor

@SHEROSE0, ci pipeline fails, pull from upstream and resolve pipeline failures

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

area: cli sanctifier-cli command line tool area: core-engine sanctifier-core static analysis engine dependencies Pull requests that update a dependency file rust Pull requests that update rust code size/xl

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Detector: Missing pause check in value-gating view used off-chain

2 participants