Skip to content

Static analysis framework #86

@Arvolear

Description

@Arvolear

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.

Metadata

Metadata

Assignees

Labels

roadmapThis item is on the roadmap

Type

No type
No fields configured for issues without a type.

Projects

Status
Q1 2027 ☃️

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions