Sanctifier core#736

Merged

Gbangbolaoluwagbemiga merged 205 commits into

HyperSafeD:mainfrom

bakarezainab:sanctifier-core

May 4, 2026

Commits on Mar 29, 2026

fix: Track frontend as folder, not submodule

Gbangbolaoluwagbemiga
authored and
bakarezainab
committed
feat: Add deployment script and env configuration

Gbangbolaoluwagbemiga
authored and
bakarezainab
committed
I implemented the ledger entry size warning

Wilfred007
authored and
bakarezainab
committed
Fixed the flag unsafe patterns in soroban contracts

Wilfred007
authored and
bakarezainab
committed
implemented runtime monitoring foundation logic

Wilfred007
authored and
bakarezainab
committed
docs: enhance getting started guide for new users (fixes #5)

Uchechukwu-Ekezie
authored and
bakarezainab
committed
fix: prevent panic on complex macros and impl blocks [Issue #15]

ogazboiz
authored and
bakarezainab
committed
feat: implement Auth Gap detector and fix false positives on getters [Issue #27]

ogazboiz
authored and
bakarezainab
committed
feat: implement 'analyze' command scaffolding with Soroban project verification (#4)

Uchechukwu-Ekezie
authored and
bakarezainab
committed
feat: add static analysis check

Uchechukwu-Ekezie
authored and
bakarezainab
committed
feat: Implement Overflow/Underflow Detection

7maylord
authored and
bakarezainab
committed
feat: Implement Overflow/Underflow Detection

7maylord
authored and
bakarezainab
committed
fix(core): restore missing scan_auth_gaps function body

dmystical-coder
authored and
bakarezainab
committed
fix(core): detect standalone panic!() macros in check_fn_panics

dmystical-coder
authored and
bakarezainab
committed
feat(cli): add unified JSON output for --format json (#14)

dmystical-coder
authored and
bakarezainab
committed
chore: Setup GitHub Actions for Rust CI and fix linter errors

ogazboiz
authored and
bakarezainab
committed
feat: implement 'Auth Gap' detector for Soroban contracts (#21)

Uchechukwu-Ekezie
authored and
bakarezainab
committed
Implemented santifier configuration system

Wilfred007
authored and
bakarezainab
committed
test: add integration tests for vulnerable token contract and fix macro visiting (#12)

Uchechukwu-Ekezie
authored and
bakarezainab
committed
feat: Support for Custom Linter Rules

Your Name
authored and
bakarezainab
committed
feat: Integrate Kani Rust Verifier PoC and documentation

ogazboiz
authored and
bakarezainab
committed
ledger entry size analysis

aji70
authored and
bakarezainab
committed
feat:Setup GitHub Actions

7maylord
authored and
bakarezainab
committed
SanctifiedGuard

aji70
authored and
bakarezainab
committed
feat(gas): implement gas estimation report for public functions

ritik4ever
authored and
bakarezainab
committed
feat: Kani integration PoC for standard Soroban token

aji70
authored and
bakarezainab
committed
user defined regex

aji70
authored and
bakarezainab
committed
analyser

aji70
authored and
bakarezainab
committed
web-based dashboard

aji70
authored and
bakarezainab
committed
closes 47

aji70
authored and
bakarezainab
committed
closes 47

aji70
authored and
bakarezainab
committed
feat(storage): add storage key collision analysis

ritik4ever
authored and
bakarezainab
committed
CLI Command 'analyze' scaffolding
bakarezainab
committed
Add-Storage-Key-Collision-Analysis
bakarezainab
committed
feat: automate crates.io publication workflow
bakarezainab
committed
test fix
bakarezainab
committed
feat(reentrancy): add static reentrancy guard detection

ritik4ever
authored and
bakarezainab
committed
feat: Add integration tests for token contract

ritik4ever
authored and
bakarezainab
committed
docs: Create 'Getting Started' Guide

Wilfred007
authored and
bakarezainab
committed
test(issue-46): Setup complete E2E testing framework and coverage workflow

ogazboiz
authored and
bakarezainab
committed
fix(core): fix missing storage_collision file and format string bug in complexity.rs

ritik4ever
authored and
bakarezainab
committed
feat(issue-28): Implement Gas Estimation Report analysis and fix upstream master merge conflicts

ogazboiz
authored and
bakarezainab
committed
chore(issue-30): add branding assets and CLI logo

ogazboiz
authored and
bakarezainab
committed
chore: Update dependencies to Soroban SDK v20

Wilfred007
authored and
bakarezainab
committed
fix: ignore read-only functions in auth gap detection

xqcxx
authored and
bakarezainab
committed
chore: enhance CLI branding with version info and tagline

xqcxx
authored and
bakarezainab
committed
feat: implement sanctifier init command

meshackyaro
authored and
bakarezainab
committed
docs: add initial Architecture Decision Records (ADRs)

Uchechukwu-Ekezie
authored and
bakarezainab
committed
fixed issues

Wilfred007
authored and
bakarezainab
committed
fix: resolve formatting and missing imports
bakarezainab
committed
Build Kani proof harness for token initialization
bakarezainab
committed
fix: regenerate Cargo.lock and declare MSRV 1.78 to fix lock file v4 parse error in CI
bakarezainab
committed
fix: make all Kani harnesses pass under kani-verifier 0.67
bakarezainab
committed
Audit-existing-example-contracts-for-Soroban-v20-compatibility
bakarezainab
committed
Add-version-flag-and-embed-build-metadata-in-the-CLI-binary
bakarezainab
committed
Automated deployment to Soroban testnet

Sadeequ
authored and
bakarezainab
committed
refactor: consolidate CI workflows (#131)

rampop
authored and
bakarezainab
committed
feat: Add configuration file support (.sanctify.toml) and custom rule severity levels #95

rampop
authored and
bakarezainab
committed
Add AMM pool with property-based testing for constant product formula

meshackyaro
authored and
bakarezainab
committed
Fix CI: Add explicit toolchain input to rust-toolchain action

meshackyaro
authored and
bakarezainab
committed
Fix code formatting with cargo fmt

meshackyaro
authored and
bakarezainab
committed
Fix clippy warnings: use div_ceil and saturating_add

meshackyaro
authored and
bakarezainab
committed
Fix all clippy warnings across workspace

meshackyaro
authored and
bakarezainab
committed
CI: Exclude broken contracts from clippy and test runs

meshackyaro
authored and
bakarezainab
committed
CI: Exclude broken contracts from e2e-coverage workflow

meshackyaro
authored and
bakarezainab
committed
feat: integrate Z3 SMT solver for invariant checking PoC

AbuJulaybeeb
authored and
bakarezainab
committed
test: Add unit tests for resource exhaustion estimator

xqcxx
authored and
bakarezainab
committed
refactor: Modularize static analysis rule engine

xqcxx
authored and
bakarezainab
committed
Add SECURITY.md disclosure policy

gboigwe
authored and
bakarezainab
committed
Add Dockerfile for CLI container

gboigwe
authored and
bakarezainab
committed
Add .dockerignore for build

gboigwe
authored and
bakarezainab
committed
Add SanctityScore gauge component

gboigwe
authored and
bakarezainab
committed
Enhance PDF export with summary

gboigwe
authored and
bakarezainab
committed
Add call graph types

gboigwe
authored and
bakarezainab
committed
Add call graph data extraction

gboigwe
authored and
bakarezainab
committed
Add CallGraph visualization component

gboigwe
authored and
bakarezainab
committed
Integrate new components in dashboard

gboigwe
authored and
bakarezainab
committed
style: run rustfmt to fix CI pipeline

rampop
authored and
bakarezainab
committed
style: fix formatting and resolve clippy warnings after merge

rampop
authored and
bakarezainab
committed
Add Soroban vulnerability database

gboigwe
authored and
bakarezainab
committed
Add vuln DB scanner module

gboigwe
authored and
bakarezainab
committed
test: add criterion benchmarks for AST static analysis engine

bbkenny
authored and
bakarezainab
committed
feat(cli): implement robust sanctifier init workflow

Bug-Hunter-X
authored and
bakarezainab
committed
chore(ci): add Rust matrix builder for last 3 stable versions

ritik4ever
authored and
bakarezainab
committed
feat: add Storybook main configuration for Next.js

clintjeff2
authored and
bakarezainab
committed
feat: add Storybook preview config with Tailwind globals

clintjeff2
authored and
bakarezainab
committed
build: add Storybook scripts and devDependencies

clintjeff2
authored and
bakarezainab
committed
docs: add CallGraph component stories

clintjeff2
authored and
bakarezainab
committed
docs: add CodeSnippet component stories

clintjeff2
authored and
bakarezainab
committed
docs: add FindingsList component stories

clintjeff2
authored and
bakarezainab
committed
docs: add SanctityScore component stories

clintjeff2
authored and
bakarezainab
committed
docs: add SeverityFilter component stories

clintjeff2
authored and
bakarezainab
committed
docs: add SummaryChart component stories

clintjeff2
authored and
bakarezainab
committed
docs: add ThemeToggle component stories

clintjeff2
authored and
bakarezainab
committed
docs: add PR description for issue #122

clintjeff2
authored and
bakarezainab
committed
chore: minor changes to completely ensure storybook runs successfully

clintjeff2
authored and
bakarezainab
committed
feat: Implement AST parser for Soroban

KingFRANKHOOD
authored and
bakarezainab
committed
feat(cli): add sanctifier update command

bamiebot-maker
authored and
bakarezainab
committed
feat: configure pre-commit hooks for cargo and npm formatting (#132)

thebabalola
authored and
bakarezainab
committed
feat: implement high-contrast accessibility theme (#123)

bbkenny
authored and
bakarezainab
committed
docs: add runtime guards integration tutorial

CMI-James
authored and
bakarezainab
committed
feat(cli): add webhook notifications for completed scans

CMI-James
authored and
bakarezainab
committed
chore(core,cli): standardize security finding error codes

CMI-James
authored and
bakarezainab
committed
feat(frontend): add light/dark theme provider toggle

CMI-James
authored and
bakarezainab
committed
feat(cli): add Sanctified status badge generator

CMI-James
authored and
bakarezainab
committed
test(core): add SMT solver latency benchmark utility

CMI-James
authored and
bakarezainab
committed
chore: implement dependabot for automatic dependency updates (#129)

thebabalola
authored and
bakarezainab
committed
feat: implement real-time analysis log terminal UI

rampop
authored and
bakarezainab
committed
feat/Implement 'Emergency Shutdown' verification rule

Dataguru-tech
authored and
bakarezainab
committed
feat: reusable formally verified reentrancy guard for Soroban

Rampop01
authored and
bakarezainab
committed
docs: add formal verification video tutorial series

CMI-James
authored and
bakarezainab
committed
feat: create interactive setup script for new contributors

Rampop01
authored and
bakarezainab
committed
fix: mobile responsiveness for dashboard layout and charts

Rampop01
authored and
bakarezainab
committed
Implemented arithmetic safety analysis

willybrown100
authored and
bakarezainab
committed
fixed errors

Wilfred007
authored and
bakarezainab
committed
implemented auto patching engine for basic vulnerables

Wilfred007
authored and
bakarezainab
committed
Add GitHub Issue and PR templates

xqcxx
authored and
bakarezainab
committed
Implement JSON output format for

Wilfred007
authored and
bakarezainab
committed
fix(ci): Resolve dependency conflicts, fix syntax error in CLI, and install z3 in CI

Gbangbolaoluwagbemiga
authored and
bakarezainab
committed
fix(ci): Resolve dependency conflicts, fix syntax error in CLI, and install z3 in CI

Gbangbolaoluwagbemiga
authored and
bakarezainab
committed
feat: Restore sanctifier-wasm and finalize workspace separation

Gbangbolaoluwagbemiga
authored and
bakarezainab
committed
fix: Ensure sanctifier-wasm is an independent workspace

Gbangbolaoluwagbemiga
authored and
bakarezainab
committed
fix(core): Reconcile merged modules, fix syntax errors, and restore missing visitors

Gbangbolaoluwagbemiga
authored and
bakarezainab
committed
fix(core): Unify ArithmeticIssue type and fix ArithVisitor visibility

Gbangbolaoluwagbemiga
authored and
bakarezainab
committed
chore: formatting fixes in arithmetic_overflow.rs

Gbangbolaoluwagbemiga
authored and
bakarezainab
committed
fix(core): Address clippy warnings for unused constants, loops, and missing defaults

Gbangbolaoluwagbemiga
authored and
bakarezainab
committed
fix(cli): Resolve unused variable in init.rs tests

Gbangbolaoluwagbemiga
authored and
bakarezainab
committed
fix(core): Sync UnhandledResultVisitor and update ignore patterns

Gbangbolaoluwagbemiga
authored and
bakarezainab
committed
fix(ci): Resolve deployment hang and workspace inconsistencies

Gbangbolaoluwagbemiga
authored and
bakarezainab
committed
fix(ci): Resolve all Clippy and type errors in runtime-guard-wrapper

Gbangbolaoluwagbemiga
authored and
bakarezainab
committed
fix(ci): Final formatting and system dependency fixes

Gbangbolaoluwagbemiga
authored and
bakarezainab
committed
style: Add periods to documentation comments.

Gbangbolaoluwagbemiga
authored and
bakarezainab
committed
feat:implemented cotributing analysis for the app

OlufunbiIK
authored and
bakarezainab
committed
feat:ecentralized Pause Mechanism

OlufunbiIK
authored and
bakarezainab
committed
docs: add soroban examples case study for #327

ACOB-DEV
authored and
bakarezainab
committed
ci: upgrade codecov action for #308

ACOB-DEV
authored and
bakarezainab
committed
feat: add structured tracing logs for #321

ACOB-DEV
authored and
bakarezainab
committed
feat:test: E2E testing for the web dashboard submission flow #121

OlufunbiIK
authored and
bakarezainab
committed
feat/#112-test-Add-integration-tests-for-cross-contract-call-verification

OlufunbiIK
authored and
bakarezainab
committed
ci: add crates publish workflow for #309

ACOB-DEV
authored and
bakarezainab
committed
feat: expose stable API, add per-file timeout/progress, parallelize scanning (#316, #319, #320)\n\n## Issue #316 — Stable public API surface\n- Added `#![warn(missing_docs)]` to sanctifier-core\n- …

Jayy4rl
authored and
bakarezainab
committed
VS Code Extension for Sanctifier-CLI

EbukaMoses
authored and
bakarezainab
committed
Formal proof of SEP-41 balance consistency

EbukaMoses
authored and
bakarezainab
committed
docs: update README.md and error-codes.md for issue #305\n\n- Add CI status, Codecov, crates.io, and license badges\n- Update installation instructions (crates.io + from source)\n- Add quick-start …

Jayy4rl
authored and
bakarezainab
committed
feat: add json schema for santifier analyze

7maylord
authored and
bakarezainab
committed
fix: ci actions

7maylord
authored and
bakarezainab
committed
feat: Build WASM bindings for sanctifier-core

7maylord
authored and
bakarezainab
committed
feat: implement sanctifier report

7maylord
authored and
bakarezainab
committed
feat:feat: Integration with Stellar Expert API for runtime monitoring #154

OlufunbiIK
authored and
bakarezainab
committed
fix:c-/cd issues

OlufunbiIK
authored and
bakarezainab
committed
fix:ci/cd

OlufunbiIK
authored and
bakarezainab
committed
fix:2

OlufunbiIK
authored and
bakarezainab
committed
feat(frontend): add ARIA labels and keyboard navigation for accessibility

xqcxx
authored and
bakarezainab
committed
feat(cli): add vulndb module tests and document vulnerability database format

xqcxx
authored and
bakarezainab
committed
fix(precision): reduce unhandled-result false positives on fluent APIs and helpers

xqcxx
authored and
bakarezainab
committed
feat(frontend): add rate limiting and input validation to POST /api/analyze

xqcxx
authored and
bakarezainab
committed
feat(contracts): add .sanctify.toml config to each contract (Issue #341)

Peace Joel
authored and
bakarezainab
committed
implemented nav btw dashboard

Wilfred007
authored and
bakarezainab
committed
implemented arithmetic and panic noise reduction

Wilfred007
authored and
bakarezainab
committed
added macOs and windows ci test matrix

Wilfred007
authored and
bakarezainab
committed
latest changes

Wilfred007
authored and
bakarezainab
committed
implemented release workflow build precompile

Wilfred007
authored and
bakarezainab
committed
fix(frontend): use real call graph data

sshdopey
authored and
bakarezainab
committed
fix(core): reduce auth-gap false positives

sshdopey
authored and
bakarezainab
committed
fix(frontend): persist dashboard theme

sshdopey
authored and
bakarezainab
committed
fix(frontend): show finding codes

sshdopey
authored and
bakarezainab
committed
feat: implement amm pool and shared fixture coverage

Chucks1093
authored and
bakarezainab
committed
feat: add reentrancy guard benchmark docs

Chucks1093
authored and
bakarezainab
committed
docs: refresh reentrancy benchmark sample

Chucks1093
authored and
bakarezainab
committed
feat: implement shadow storage detection, config validation, terminal reconnect, and CLI tests

floxxih
authored and
bakarezainab
committed
feat: harden SMT verifier, add rule tests, badge docs, and wasm version()

danielakinsanya
authored and
bakarezainab
committed
feat: implement FindingSeverity and json analysis tracking mappings

leojay-net
authored and
bakarezainab
committed
feat(frontend): complete dashboard findings, perf, error boundaries, and unit tests

Akanimoh12
authored and
bakarezainab
committed
feat: implement sep-41

7maylord
authored and
bakarezainab
committed
Add --exit-code support to analyze, complexity subcommand, init scaffold, and schema-domain JSON compatibility

Ultra-Tech-code
authored and
bakarezainab
committed
chore(ci): ensure cargo fmt passes and enforce clippy in pre-commit for issue #281

Ultra-Tech-code
authored and
bakarezainab
committed
ci: install dbus and pkg-config before soroban-cli for issue #282

Ultra-Tech-code
authored and
bakarezainab
committed
docs: add branch protection policy and PR process for issue #310

Ultra-Tech-code
authored and
bakarezainab
committed
feat: add CI action integration and harden analyze API for dashboard workflows

ChaoLing140
authored and
bakarezainab
committed
Fix issues #326, #287, #289, #285: Add JSON schema, revamp landing page, build /scan page, and update CI coverage

Abayomi Cornelius
authored and
bakarezainab
committed
fix: Dashboard loading performance for large repo scans and fix build errors

rampop
authored and
bakarezainab
committed
feat: add devcontainer for one-click development setup

meshackyaro
authored and
bakarezainab
committed
fix: resolve compilation errors in sanctifier-core and sanctifier-cli

meshackyaro
authored and
bakarezainab
committed
fix: resolve WASM build errors and test failures

meshackyaro
authored and
bakarezainab
committed
fix: replace non-existent z3prover/setup-z3 action with manual Z3 installation

meshackyaro
authored and
bakarezainab
committed
fix: correct sanctifier binary path in soroban-examples workflow

meshackyaro
authored and
bakarezainab
committed
style: run cargo fmt to fix formatting issues

meshackyaro
authored and
bakarezainab
committed
fix: set Z3 environment variables for macOS and Windows builds

meshackyaro
authored and
bakarezainab
committed
fix: resolve all clippy warnings and missing documentation

meshackyaro
authored and
bakarezainab
committed
fix: add kani cfg check to reentrancy-guard Cargo.toml

meshackyaro
authored and
bakarezainab
committed
style: run cargo fmt
bakarezainab
committed
cargo-clippy-fix
bakarezainab
committed
style: run cargo fmt
bakarezainab
committed
fixes
bakarezainab
committed
fix cli
bakarezainab
committed
fix-cli-
bakarezainab
committed
chore: format workspace
bakarezainab
committed
fix: correct dependencies and CI toolchain for WASM
bakarezainab
committed
fix: dynamic Z3 path for Windows CI
bakarezainab
committed
fix: correct Z3 search on Windows CI
bakarezainab
committed