fix: Make IR set type of reference to popped element correctly #43

Closed

kevinclancy wants to merge 46 commits intomasterfrom certik

+930-236

Commits on Mar 4, 2022

fix: added a workaround for a build failure during import path resolution in slither 0.8.2
Duckki Oe
committed

Commits on May 24, 2022

Populate source location for using_for construct (#1 )
Runming Li
authored

Commits on May 25, 2022

feat: updated the "Output" class to add "location" field of LocalVariable's type_specific_fields
Duckki Oe
committed

Commits on May 31, 2022

refactor: minor update from Structure to StructureContract for convenience (#2 )
Runming Li
authored

Commits on Jun 1, 2022

fix: fixed "AttributeError: 'NoneType' object has no attribute 'type'"
Duckki Oe
committed

Commits on Jun 2, 2022

fix: update EventCall to store Event Declaration (#3 )
Runming Li
authored

Commits on Jun 16, 2022

feat: support CustomError as a type of finding generated in detectors (#4 )
Runming Li
authored

Commits on Jun 22, 2022

feat: support Expression as a type of description elements generated by detectors (#5 )
Runming Li
authored

Commits on Jun 24, 2022

Merge tag '0.8.3' into certik
Duckki Oe
committed

Commits on Jun 30, 2022

feat: Record Abstract Contract Information (#6 )
Runming Li
authored

Commits on Jul 5, 2022

fix: fix typo in is_abstract field in contract class (#8 )
Runming Li
authored
feat: store custom error symbols when reverting library errors (#7 )
Runming Li
authored

Commits on Jul 8, 2022

feat: record contract kind in detector output (#9 )
Runming Li
authored

Commits on Sep 29, 2022

feat: added support for expressions in output formatting code (#11 )

kevinclancy
authored and
Duckki Oe
committed

Commits on Dec 6, 2022

Merged in version 0.9.1
kevinclancy
committed

Commits on Dec 7, 2022

fix: fixed some issues that were missed when merging 0.9.1 (#14 )
kevinclancy
authored

Commits on Dec 16, 2022

fix: record 'referencedDeclaration' of identifiers in destructuring initializer AST (#15 )
kevinclancy
authored

Commits on Jan 5, 2023

fix: make try-returns/-catch parameters initialized in CFG (#16 )
kevinclancy
authored

Commits on Jan 14, 2023

Commits on Jan 19, 2023

feat: add implicit initializers in Certik IR (#20 )
kevinclancy
authored

Commits on Jan 20, 2023

Commits on Jan 25, 2023

changed "uses certik ir" flag to a static method (#22 )
kevinclancy
authored

Commits on Jan 26, 2023

refrain from trying to generate initial values for function variables
kevinclancy
committed

Commits on Jan 27, 2023

fix: finish connecting true-statement node to end-if node before connecting condition node to false-statement node (#23 )
gfeng-certik
authored

Commits on Jan 28, 2023

fix: avoid initializing unnamed catch variables (#25 )
kevinclancy
authored

Commits on Jan 30, 2023

fix: keep information from AST about a TupleExpression being an inline array and generate SlithIR accordingly (#26 )
gfeng-certik
authored

Commits on Feb 10, 2023

Commits on Mar 3, 2023

feat: add constant folding to IR (#30 )
Pardis Pashakhanloo
authored

Commits on Mar 6, 2023

feat: remove outgoing edges from nodes with revert calls (#31 )
Duckki Oe
authored

Commits on Mar 7, 2023

fix: record the src offset in the variable declaration constructor and use it as the offset of default initializers, if any (#32 )
kevinclancy
authored

Commits on Mar 20, 2023

generate default-value array expressions using is_inline_array flag set to True (#33 )
kevinclancy
authored

Commits on Mar 27, 2023

Commits on Mar 28, 2023

fix: generate a default value for user-defined value types, wrap the default value of the underlying type. (#36 )
kevinclancy
authored

Commits on Mar 30, 2023

feat: record storage location in temporary variables (#37 )
kevinclancy
authored

Commits on Apr 8, 2023

Merge tag '0.9.3' into certik
Duckki Oe
committed
fix: reverted an upstream change (crytic/pull/1761 )
Duckki Oe
committed

Commits on Apr 19, 2023

feat: added has_receiver_arg property to HighLevelCall IR operation
Duckki Oe
committed

Commits on Apr 26, 2023

feat: add push operation, include push operation in generated code (#39 )
kevinclancy
authored