Skip to content
Navigation Menu
Sign in
Appearance settings
Platform
AI CODE CREATION
GitHub Copilot
Write better code with AI
GitHub Copilot app
Direct agents from issue to merge
MCP Registry
Integrate external tools
DEVELOPER WORKFLOWS
Actions
Automate any workflow
Codespaces
Instant dev environments
Issues
Plan and track work
Code Review
Manage code changes
Code Quality
Enforce quality at merge
APPLICATION SECURITY
GitHub Advanced Security
Find and fix vulnerabilities
Code security
Secure your code as you build
Secret protection
Stop leaks before they start
EXPLORE
Why GitHub
Documentation
Blog
Changelog
Marketplace
View all features
Solutions
BY COMPANY SIZE
Enterprises
Small and medium teams
Startups
Nonprofits
BY USE CASE
App Modernization
DevSecOps
DevOps
CI/CD
View all use cases
BY INDUSTRY
Healthcare
Financial services
Manufacturing
Government
View all industries
View all solutions
Resources
EXPLORE BY TOPIC
AI
Software Development
DevOps
Security
View all topics
EXPLORE BY TYPE
Customer stories
Events & webinars
Ebooks & reports
Business insights
GitHub Skills
SUPPORT & SERVICES
Documentation
Customer support
Community forum
Trust center
Partners
View all resources
Open Source
COMMUNITY
GitHub Sponsors
Fund open source developers
PROGRAMS
Security Lab
Maintainer Community
GitHub Stars
Archive Program
REPOSITORIES
Topics
Trending
Collections
Enterprise
ENTERPRISE SOLUTIONS
Enterprise platform
AI-powered developer platform
AVAILABLE ADD-ONS
GitHub Advanced Security
Enterprise-grade security features
Copilot for Business
Enterprise-grade AI features
Premium Support
Enterprise-grade 24/7 support
Pricing
Search
/
Sign in
Sign up
Appearance settings
You signed in with another tab or window.
Reload
to refresh your session.
You signed out in another tab or window.
Reload
to refresh your session.
You switched accounts on another tab or window.
Reload
to refresh your session.
Dismiss alert
{{ message }}
Uh oh!
There was an error while loading.
Please reload this page
.
Centurylong
/
sanctifier
Public
Notifications
You must be signed in to change notification settings
Fork
56
Star
2
Code
Issues
211
Pull requests
14
Actions
Projects
Security and quality
0
Insights
Additional navigation options
Code
Issues
Pull requests
Actions
Projects
Security and quality
Insights
Detector] token math
- #861
#861
Open
gloskull
wants to merge 32 commits into
Centurylong:main
Centurylong/sanctifier:main
from
gloskull:DETECTOR]-Token-math
gloskull/sanctifier:DETECTOR]-Token-math
Copy head branch name to clipboard
Conversation
Commits
32
(32)
Checks
Files changed
Open
Detector] token math
#861
gloskull
wants to merge 32 commits into
Centurylong:main
Centurylong/sanctifier:main
from
gloskull:DETECTOR]-Token-math
gloskull/sanctifier:DETECTOR]-Token-math
Copy head branch name to clipboard
Commits
Commits on Jun 22, 2026
feat(cli): add 'sanctifier watch' to re-analyze on file change
Show description for 20f0531
Mercy017
committed
20f0531
View commit details
Copy full SHA for 20f0531
Browse repository at this point
Commits on Jun 23, 2026
feat: detect unsafe integer casts
YfengJ
committed
74894c3
View commit details
Copy full SHA for 74894c3
Browse repository at this point
docs: add custom detector cookbook and update contributing guide
0xVida
committed
18184ca
View commit details
Copy full SHA for 18184ca
Browse repository at this point
fix: satisfy clippy option zip lint
YfengJ
committed
faa1727
View commit details
Copy full SHA for faa1727
Browse repository at this point
feat(detector): add fee_rounding rule (S017) to catch integer division rounding-to-zero
Show description for 10f505c
Gbangbolaoluwagbemiga
committed
10f505c
View commit details
Copy full SHA for 10f505c
Browse repository at this point
fix(ci): add fee_rounding → S017 to differential-corpus.json rule_to_code map
Gbangbolaoluwagbemiga
committed
3233065
View commit details
Copy full SHA for 3233065
Browse repository at this point
Merge pull request #571 from joelpeace48-cell/feat/fee-rounding-detector-333
Show description for d4041bd
Gbangbolaoluwagbemiga
authored
d4041bd
View commit details
Copy full SHA for d4041bd
Browse repository at this point
Merge pull request #569 from YfengJ/codex/unsafe-cast-detector-321
Show description for 3f2b882
Gbangbolaoluwagbemiga
authored
3f2b882
View commit details
Copy full SHA for 3f2b882
Browse repository at this point
feat: implement shareable report permalink feature
Show description for d2a3421
meshackyaro
committed
d2a3421
View commit details
Copy full SHA for d2a3421
Browse repository at this point
Merge pull request #572 from meshackyaro/feature/shareable-report-permalink-375
Show description for befcca4
Gbangbolaoluwagbemiga
authored
befcca4
View commit details
Copy full SHA for befcca4
Browse repository at this point
Commits on Jun 24, 2026
docs: Update AMM pool README to document completed hardening (closes #389)
Show description for 21d98c5
codemagician
committed
21d98c5
View commit details
Copy full SHA for 21d98c5
Browse repository at this point
feat: detect missing storage TTL bumps
YfengJ
committed
7bc85ff
View commit details
Copy full SHA for 7bc85ff
Browse repository at this point
Merge pull request #577 from codemagician1949/feat/close-issue-389-amm-hardening-complete
Show description for 53a705f
Gbangbolaoluwagbemiga
authored
53a705f
View commit details
Copy full SHA for 53a705f
Browse repository at this point
Merge pull request #576 from YfengJ/codex/ttl-missing-315
Show description for 2eb6a0c
Gbangbolaoluwagbemiga
authored
2eb6a0c
View commit details
Copy full SHA for 2eb6a0c
Browse repository at this point
Add non-blocking Kani formal-verification CI job (#348)
Show description for d45454a
anuoluwaponiorimi
committed
d45454a
View commit details
Copy full SHA for d45454a
Browse repository at this point
Merge pull request #578 from anuoluwaponiorimi/feat/kani-ci-proofs
Show description for ee8d3ae
Gbangbolaoluwagbemiga
authored
ee8d3ae
View commit details
Copy full SHA for ee8d3ae
Browse repository at this point
Merge pull request #579 from Mercy017/feat/cli-watch-mode-361
Show description for 32372fa
Gbangbolaoluwagbemiga
authored
32372fa
View commit details
Copy full SHA for 32372fa
Browse repository at this point
feat(zk): add Groth16/BLS12-381 audit-proof circuit (issue #352)
Show description for 751b51d
presidojay1
committed
751b51d
View commit details
Copy full SHA for 751b51d
Browse repository at this point
style: run cargo fmt on sanctifier-zk
presidojay1
committed
2b47636
View commit details
Copy full SHA for 2b47636
Browse repository at this point
Merge pull request #580 from Temi-suwa18/feat/issue-352-zk-audit-circuit
Show description for 70ff150
Gbangbolaoluwagbemiga
authored
70ff150
View commit details
Copy full SHA for 70ff150
Browse repository at this point
Add argument DoS detector
YfengJ
committed
ab4ccc4
View commit details
Copy full SHA for ab4ccc4
Browse repository at this point
Merge pull request #581 from YfengJ/codex/arg-dos-detector-327
Show description for 7609b7e
Gbangbolaoluwagbemiga
authored
7609b7e
View commit details
Copy full SHA for 7609b7e
Browse repository at this point
Merge branch 'main' into 299-detector-cookbook
Gbangbolaoluwagbemiga
authored
4a7bdf6
View commit details
Copy full SHA for 4a7bdf6
Browse repository at this point
Merge pull request #570 from 0xVida/299-detector-cookbook
Show description for 52360f9
Gbangbolaoluwagbemiga
authored
52360f9
View commit details
Copy full SHA for 52360f9
Browse repository at this point
Commits on Jun 25, 2026
feat: add public Soroban/Stellar CVE vulnerability database (#151)
Show description for 05ad73e
boys-cyberhub
committed
05ad73e
View commit details
Copy full SHA for 05ad73e
Browse repository at this point
feat: add SEP-41 formal spec templates for token compliance
Show description for 5a2a243
charlesbarleyman
committed
5a2a243
View commit details
Copy full SHA for 5a2a243
Browse repository at this point
Merge pull request #583 from charlesbarleyman/feat/sep41-formal-spec-templates
Show description for 9fbe74a
Gbangbolaoluwagbemiga
authored
9fbe74a
View commit details
Copy full SHA for 9fbe74a
Browse repository at this point
Commits on Jun 26, 2026
docs: regenerate docs/cli.md to include cve command
Show description for 33572e8
boys-cyberhub
committed
33572e8
View commit details
Copy full SHA for 33572e8
Browse repository at this point
Merge pull request #582 from boys-cyberhub/feat/issue-151-vulndb
Show description for 184481b
Gbangbolaoluwagbemiga
authored
184481b
View commit details
Copy full SHA for 184481b
Browse repository at this point
Commits on Jul 26, 2026
Add decimals scale token math detector
gloskull
committed
b8ee630
View commit details
Copy full SHA for b8ee630
Browse repository at this point
Merge pull request #2 from gloskull/add-detection-for-mixed-token-math
Show description for 440e360
gloskull
authored
440e360
View commit details
Copy full SHA for 440e360
Browse repository at this point
Merge branch 'main' into DETECTOR]-Token-math
gloskull
authored
db2f1d0
View commit details
Copy full SHA for db2f1d0
Browse repository at this point
You can’t perform that action at this time.
codemagician
