Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Roostock, Tron and other EVM-compatible blockchains.

blockchainethereumsmart-contractssoliditysecurityprogram-analysissecurity-analysissymbolic-execution

You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

JoranHonig eaebc2361f Nested bitvec func (#1163) ... * add test to reproduce nested function bug * add test for other level of bitvecfunc * add appropriate handling for nested bitvecfuncs * add return character * ignore hybrid functions for condition permeation * add tests to check if correct inputs are found * copy bitvecfunc logic to generic handlers * clean up & move logic to separate module Removes cyclic dependency and redundant code * style * fix imports * do uniq & iff application * implement initial If for bvf * style * add return * only deal with eq comparison * fix type issues * Fix a crash * Fix the issue in statechange module * Fix for mypy * Use correct operator		5 years ago
..
__init__.py	add _get_expr_variable tests for independence solver	6 years ago
bitvecfunc_test.py	Nested bitvec func (#1163)	5 years ago
independece_solver_test.py	move solver files to separate directory	6 years ago
model_test.py	adapt tests according to style rules	6 years ago