-
Notifications
You must be signed in to change notification settings - Fork 1
Issues: nowarp/misti
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
EnsurePrgSeed
: Check if seed was initialized on callgraph
area:detectors
#229
opened Nov 27, 2024 by
jubnzv
CellBounds
: Consider size of integral struct fields
area:detectors
#226
opened Nov 23, 2024 by
jubnzv
CellBounds
: Analyze contract fields
area:detectors
#224
opened Nov 21, 2024 by
jubnzv
CellBounds
: Add interprocedural analysis
area:detectors
#223
opened Nov 21, 2024 by
jubnzv
ExitCodeUsage
: Support narrowing
area:detectors
#220
opened Nov 19, 2024 by
jubnzv
UnusedExpressionResult
: Report unused stdlib calls
area:detectors
Support dynamic loading of Internal tools available for the user
enhancement
New feature or request
Tool
s
area:tools
#215
opened Nov 13, 2024 by
jubnzv
StringReceiversOverlap
: Check all binops
area:detectors
#213
opened Nov 6, 2024 by
jubnzv
ZeroAddress
: Handle address(constant)
calls
area:detectors
#212
opened Nov 5, 2024 by
jubnzv
DumpCfg
: Show linear sequences of statements in basic blocks
area:tools
#211
opened Nov 5, 2024 by
jubnzv
CFG Iterators
area:ir
Everything related to the IR and corresponding internals
enhancement
New feature or request
#210
opened Nov 5, 2024 by
jubnzv
CellBounds
: Handle comparisons with builder.bits()
and builder.refs()
area:detectors
#209
opened Nov 5, 2024 by
jubnzv
File-level comment to suppress specific warnings
area:warnings
Related to how Misti processes and emits detector warnings
enhancement
New feature or request
#208
opened Nov 5, 2024 by
jubnzv
Throw exceptions on duplicate warnings in debug mode
area:detectors
Related to existing detectors
enhancement
New feature or request
#205
opened Oct 31, 2024 by
jubnzv
Callgraph: Add effects to nodes
area:ir
Everything related to the IR and corresponding internals
enhancement
New feature or request
ASTStore: Add UD functionality
area:ir
Everything related to the IR and corresponding internals
blocked
enhancement
New feature or request
ASTStore: Refactor
area:ir
Everything related to the IR and corresponding internals
enhancement
New feature or request
refactor
Support absolute paths in warning suppressions
bug
Something isn't working
good first issue
Good for newcomers
#183
opened Oct 17, 2024 by
jubnzv
Script to generate documentation for Tools
area:tools
Internal tools available for the user
enhancement
New feature or request
good first issue
Good for newcomers
infrastructure
All the things related to infrastructure, CI, dependencies
#182
opened Oct 17, 2024 by
jubnzv
StringReceiversOverlap
: Support assignments in dataflow
area:detectors
#173
opened Oct 12, 2024 by
jubnzv
Previous Next
ProTip!
no:milestone will show everything without a milestone.