issues
search
crytic
/
tealer
Static Analyzer for Teal
GNU Affero General Public License v3.0
62
stars
14
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Fix execution paths generated by group-size detector
#160
S3v3ru5
opened
1 year ago
1
Have a uniform output directory and filenames
#159
S3v3ru5
opened
1 year ago
0
Do not run stateless/stateful detectors for stateful/stateless code
#158
montyly
closed
1 year ago
0
Have proper tests related to "usage"
#157
S3v3ru5
opened
1 year ago
0
Use a single format for terminal description of detectors
#156
S3v3ru5
closed
1 year ago
0
Move print-cfg to a separate printer
#155
S3v3ru5
closed
1 year ago
0
Update human-summary printer
#154
S3v3ru5
closed
1 year ago
1
Add examples for printers
#153
S3v3ru5
closed
1 year ago
1
Update detector's wiki and detector table in readme.
#152
S3v3ru5
closed
1 year ago
0
Fix bugs in parsing and analysis of subroutines containing return instruction
#151
S3v3ru5
closed
1 year ago
0
Fix bugs in execution path enumerator for detectors
#150
S3v3ru5
closed
1 year ago
0
Add Subroutine class and helpers to generate shortened CFG for subroutines.
#149
S3v3ru5
closed
1 year ago
0
Add printer to list methods, ids and it's args of ARC-4 application.
#148
S3v3ru5
opened
1 year ago
0
Detect contracts lacking validations on asset id field of asset transfer transaction
#147
S3v3ru5
opened
1 year ago
0
Add support to run Tealer on contracts from algoexplorer
#146
S3v3ru5
closed
1 year ago
0
Add method-selector comment for method instructions in output CFG
#145
S3v3ru5
closed
1 year ago
0
Update GroupSize detector to consider usage of absolute indexes
#144
S3v3ru5
closed
1 year ago
0
Add transaction-context printer to add possible group-sizes, group-indices to CFG
#143
S3v3ru5
closed
1 year ago
0
Add support to filter execution paths from output
#142
S3v3ru5
closed
1 year ago
0
Add printer to output possible values of transaction fields in json
#141
S3v3ru5
opened
1 year ago
0
Add issue template
#140
montyly
opened
1 year ago
0
Add CODEOWNERS
#139
montyly
opened
1 year ago
0
Add anyone can update/delete detectors
#138
S3v3ru5
closed
1 year ago
2
Refactor cfg_to_dot output helpers
#137
S3v3ru5
closed
1 year ago
1
Update txn field analysis to use comparison-return pattern
#136
S3v3ru5
closed
1 year ago
1
Store original source code for instructions and add colors to CFG edges
#135
S3v3ru5
closed
1 year ago
0
Update MissingFeeCheck detector to use transaction field analysis
#134
S3v3ru5
closed
1 year ago
1
Recover method // push 4 bytes
#133
montyly
opened
1 year ago
1
Add support to analyse and-or-! connected equations
#132
S3v3ru5
closed
1 year ago
1
Update Fee field analysis to use unknown values
#131
S3v3ru5
closed
1 year ago
1
Update txn field analysis to use stack emulation
#130
S3v3ru5
closed
1 year ago
1
Adds support for local stack emulation.
#129
S3v3ru5
closed
1 year ago
0
Use txn type information for CanCloseAccount and CanCloseAsset detectors
#128
S3v3ru5
closed
1 year ago
1
Use intcblock, bytecblock information for intc*, bytec* instructions
#127
S3v3ru5
closed
1 year ago
0
Fix parsing of itxn_field instruction containing array fields
#126
S3v3ru5
closed
1 year ago
0
Add unit tests consisting of false positives
#125
S3v3ru5
opened
1 year ago
1
Merge all transaction field analysis work into dev branch
#124
S3v3ru5
closed
1 year ago
0
Remove CI restrictions on PR
#123
montyly
closed
1 year ago
0
Add parsing tests for control flow constructs in PyTeal
#122
S3v3ru5
closed
1 year ago
1
Add "method" instruction
#121
S3v3ru5
closed
1 year ago
0
Add parsing test written in PyTeal
#120
S3v3ru5
closed
1 year ago
0
Add support for instruction "aliases"
#119
S3v3ru5
opened
1 year ago
0
Add generic dataflow framework + example + stack value analysis
#118
montyly
opened
1 year ago
0
Update linters and CI
#117
montyly
closed
1 year ago
0
Add pop/push size per instruction
#116
montyly
closed
1 year ago
2
Update linter + CI
#115
montyly
opened
1 year ago
0
Add fee field analysis
#114
S3v3ru5
closed
1 year ago
0
Update DeleteApplication detector to use dataflow analysis
#113
S3v3ru5
closed
1 year ago
0
Update UpdateApplication detector to use dataflow analysis
#112
S3v3ru5
closed
1 year ago
0
Update AssetCloseTo detector to use dataflow analysis
#111
S3v3ru5
closed
1 year ago
0
Previous
Next