# leonardoalt/dl\_symb\_exec\_sol

<https://repo.masters-masters.com/en/repos/leonardoalt/dl_symb_exec_sol>

[Home](https://repo.masters-masters.com/en) › [leonardoalt](https://repo.masters-masters.com/en/owners/leonardoalt) › [dl\_symb\_exec\_sol](https://repo.masters-masters.com/en/repos/leonardoalt/dl_symb_exec_sol)

leonardoalt/dl\_symb\_exec\_sol has 112 stars on GitHub. Its RepoMasters card: Prototype tier. Symbolic execution engine written in Solidity, based on Difference…

| Field | Value |
| --- | --- |
| Owner | [leonardoalt](https://repo.masters-masters.com/en/owners/leonardoalt) |
| Stars | 112 |
| Forks | 6 |
| Language | [Solidity](https://repo.masters-masters.com/en/languages/solidity) |
| License | GPL-3.0 |
| Created | 2022 |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [leonardoalt/dl\_symb\_exec\_sol](https://github.com/leonardoalt/dl_symb_exec_sol) |

## Repository

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

The tier for repos with 100 to 249 ★. Published odds per card pulled: 70%. Rarity: Common.

## More repos by leonardoalt

- [leonardoalt/ethereum\_formal\_verification\_overview · ★ 378 · Alpha](https://repo.masters-masters.com/en/repos/leonardoalt/ethereum_formal_verification_overview)
- [leonardoalt/yools · ★ 140 · SMT · Prototype](https://repo.masters-masters.com/en/repos/leonardoalt/yools)
- [leonardoalt/fusion · ★ 118 · Rust · Prototype](https://repo.masters-masters.com/en/repos/leonardoalt/fusion)

## Nearby in Solidity

- [pcaversaccio/malleable-signatures · ★ 112 · Solidity · Prototype](https://repo.masters-masters.com/en/repos/pcaversaccio/malleable-signatures)
- [moonwell-fi/moonwell-contracts-v2 · ★ 112 · Solidity · Prototype](https://repo.masters-masters.com/en/repos/moonwell-fi/moonwell-contracts-v2)
- [marksantiago290/ERC20-Token-Presale-Smart-Contract · ★ 112 · Solidity · Prototype](https://repo.masters-masters.com/en/repos/marksantiago290/ERC20-Token-Presale-Smart-Contract)
- [MrChico/verifyIPFS · ★ 112 · Solidity · Prototype](https://repo.masters-masters.com/en/repos/MrChico/verifyIPFS)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.