Commits

Commits on Nov 2, 2023

fixing negation in VulnerabilityProcessed
snf
committedNov 2, 2023

Commits on Oct 20, 2023

changed ConstantPossibleSigHash to include generated values
GiokaMarkella
committedOct 20, 2023

Commits on Oct 11, 2023

Added edge case to Block_Tail
GiokaMarkella
committedOct 11, 2023

Commits on Oct 9, 2023

Disable inlining for inner functions
GiokaMarkella
committedOct 9, 2023

Commits on Oct 3, 2023

Merge pull request nevillegrech#109 from nevillegrech/custom_fact_generator
GiokaMarkella
committedOct 3, 2023
switched to DataFlowsThroughConstOps
GiokaMarkella
committedOct 3, 2023

Commits on Oct 2, 2023

Merge pull request nevillegrech#114 from nevillegrech/memory_modeling
sifislag
committedOct 2, 2023

Commits on Sep 30, 2023

Merge branch 'custom_fact_generator' of github.com:nevillegrech/gigahorse-toolchain into custom_fact_generator
GiokaMarkella
committedSep 30, 2023
small fix
GiokaMarkella
committedSep 30, 2023

Commits on Sep 29, 2023

Merge branch 'custom_fact_generator' of github.com:nevillegrech/gigahorse-toolchain into custom_fact_generator
GiokaMarkella
committedSep 29, 2023
fixed smnall issue
GiokaMarkella
committedSep 29, 2023

Commits on Sep 28, 2023

wafsdf
GiokaMarkella
committedSep 28, 2023

Commits on Sep 26, 2023

Merge branch 'master' of github.com:nevillegrech/gigahorse-toolchain into memory_modeling
sifislag
committedSep 26, 2023
Merge pull request nevillegrech#113 from nevillegrech/change_reachability_analytics
sifislag
committedSep 26, 2023
cleanup
sifislag
committedSep 26, 2023
fix small error from prev commit
GiokaMarkella
committedSep 26, 2023
added FunctionIsInner to decompiler input+output
GiokaMarkella
committedSep 26, 2023
fix small error in function_inliner
GiokaMarkella
committedSep 26, 2023
update souffle addon, fixing bug

sifislag
authored and
GiokaMarkella
committedSep 26, 2023
add test case

sifislag
authored and
GiokaMarkella
committedSep 26, 2023
fix bug in compare runs

sifislag
authored and
GiokaMarkella
committedSep 26, 2023
Disable dead code optimization to increase decomp completeness.

sifislag
authored and
GiokaMarkella
committedSep 26, 2023
fix mypy error

sifislag
authored and
GiokaMarkella
committedSep 26, 2023
Added analytics, test for metadata-related logic.

sifislag
authored and
GiokaMarkella
committedSep 26, 2023
Added support for optional solc-provided function debug data.

sifislag
authored and
GiokaMarkella
committedSep 26, 2023
Switch to relative submodule URL

mrexodia
authored and
GiokaMarkella
committedSep 26, 2023
More accurate block reachability analytics
sifislag
committedSep 26, 2023

Commits on Sep 25, 2023

Disable dead code optimization to increase decomp completeness.

sifislag
authored and
GiokaMarkella
committedSep 25, 2023
fix mypy error

sifislag
authored and
GiokaMarkella
committedSep 25, 2023
Added analytics, test for metadata-related logic.

sifislag
authored and
GiokaMarkella
committedSep 25, 2023
Added support for optional solc-provided function debug data.

sifislag
authored and
GiokaMarkella
committedSep 25, 2023
Switch to relative submodule URL

mrexodia
authored and
GiokaMarkella
committedSep 25, 2023
added PHIStmtOneUse
GiokaMarkella
committedSep 25, 2023
fix regression
sifislag
committedSep 25, 2023
Merge branch 'master' of github.com:nevillegrech/gigahorse-toolchain into memory_modeling
sifislag
committedSep 25, 2023