Static analysis framework #86

Open

Assignees

Labels

opened

Describe the feature

Add the simplex analyze command to statically analyze the contracts in the project and possibly catch "unconstrained patterns" that lead to exploits.

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

Metadata

Assignees

Arvolear

Labels

Type

No type

Projects

Smplx roadmap
Status
Q1 2027 ☃️

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests