dl_symb_exec_sol

Symbolic execution engine written in Solidity, based on Difference Logic.

GPL-3.0 License

Stars
91
View Code on GitHub View on X
Ecosystems: Solidity

Statistics for this project are still being loaded, please check back later.

Related Projects
sol_generic_vector

Generic Vector library for Solidity

21 Mar 2022 27
tinyevm

A tiny stack machine to learn Ethereum bytecode.

21 Oct 2022 10
cav_2022_artifact

01 May 2022 4
yools

Tools for Yul.

05 Aug 2022 139
solregex

Regex compilation to Solidity

13 Jun 2017 53
wordlines

Mobile ZK Puzzle Game with NFT rewards

18 Aug 2021 191
CryptoZombies-Solidity-Notes

This repository contains codes and notes from CryptoZombies (Solidity Tutorial & Etherium Blockch...

30 Nov 2021 10
semgrep-smart-contracts

Semgrep rules for smart contracts based on DeFi exploits

01 Apr 2022 618
prb-math

Solidity library for advanced fixed-point math

24 Mar 2021 801
substratum

An opinionated, spec-compliant, optimized version of Optimism's contracts-bedrock package.

01 Mar 2023 57
puretea

24 Jun 2022 17
sslc

cli tool to check Solidity storage memory layout of structs for inefficiencies

01 Apr 2019 8
solc-js

Javascript bindings for the Solidity compiler

04 Apr 2016 1,450
solady

Optimized Solidity snippets.

16 Jul 2022 2,218
solvm

evm inception: the evm inside the evm via yul and solidity

01 Apr 2022 227