Issues

Infinite Loop in Dependency Analysis
DavePearce/DevmProofGen#104 · opened on Oct 15, 2024
Asserts for masked addresses
DavePearce/DevmProofGen#103 · opened on Sep 25, 2024
1
Using Sequence instead of Peek for Stack
DavePearce/DevmProofGen#102 · opened on Sep 25, 2024
2
Block Splitting on Context
DavePearce/DevmProofGen#101 · opened on Aug 21, 2024
Support Split At Bytecode
DavePearce/DevmProofGen#100 · opened on Jul 10, 2024
1
Symbolic Stack Information
DavePearce/DevmProofGen#92 · opened on May 20, 2024
1
Use function instead of method
DavePearce/DevmProofGen#82 · opened on Dec 18, 2023
Support Intermediate Assertions
DavePearce/DevmProofGen#79 · opened on Nov 3, 2023
1
Preconditions for Zero Slot
DavePearce/DevmProofGen#78 · opened on Nov 1, 2023
2
Support AndU8, AndU160, etc
DavePearce/DevmProofGen#75 · opened on Oct 26, 2023
Improved Notion of Ownership
DavePearce/DevmProofGen#74 · opened on Oct 26, 2023
BitVector Operations
DavePearce/DevmProofGen#60 · opened on Oct 12, 2023
Fix newlines in target file
DavePearce/DevmProofGen#58 · opened on Oct 12, 2023
Support staticcall, delegatecall, etc.
DavePearce/DevmProofGen#57 · opened on Oct 12, 2023
Improve stack representation
DavePearce/DevmProofGen#47 · opened on Oct 6, 2023
Function Signature Hashes
DavePearce/DevmProofGen#35 · opened on Aug 15, 2023
Translation of PushXX bytecodes
DavePearce/DevmProofGen#34 · opened on Aug 14, 2023
Translation of LogXX bytecodes
DavePearce/DevmProofGen#33 · opened on Aug 14, 2023
Explore use of autoReq
DavePearce/DevmProofGen#30 · opened on May 2, 2023
1
Detect transfer() calls
DavePearce/DevmProofGen#17 · opened on Jan 27, 2023
Additional Security Properties
DavePearce/DevmProofGen#12 · opened on Jan 9, 2023
1
Support Block Inlining
DavePearce/DevmProofGen#10 · opened on Jan 5, 2023