Josselin Feist

@Elyx0 : you can use slither's inheritance graph: https://github.com/crytic/slither/wiki/Printer-documentation#inheritance-graph `slither file.sol --print inheritance-graph`

Hey. I am the author of Slither. This looks interesting, however I am curious about the motivations behind rewriting what is already existing, versus contributing directly to Slither. Building a...

If this can help to debug, here a "simplified" version of the DAO reentrancy, which is also not detected by Securify: ```solidity contract Wallet{ address owner = msg.sender; function cashOut(address...

Hey. I am the author of [`tealer`](https://github.com/crytic/tealer), a static analysis framework for Teal code. If pyteal can provide a source code mapping to third party tools, we would love to...

This is great. Can we move the example in `Incorrect Signers` directly in the readme? We can drop some of the code, and keep the important part (like `GetSigners`/ `MsgCreatePost`)

Hi @iskdrews. Thanks for the contribution. Could you sign the CLA?

The blogpost on library testing was directly added in the list of advanced tutorials

## Echidna in CI - uniswap https://github.com/Uniswap/uniswap-lib/blob/c01640b0f0f1d8a85cba8de378cc48469fcfd9a6/.github/workflows/fuzz-testing.yml - akirpolisio: https://github.com/akropolisio/akropolis/blob/6d8e90b24275bef9cd879a7ab0f096b0c2d4a091/.github/workflows/security.yml#L60-L92 - contracthsark: https://github.com/contractshark/echidna/blob/5358689ae99dac9ba4027f5f4d24f78cb0a6b6e0/echidna.action.yml#L9-L57 - optimisim-dai: https://github.com/BellwoodStudios/optimism-dai-bridge/blob/c8b5f2de89b3e8beb5b75418890327bda3fad035/.github/workflows/ci.yml#L98-L144 - maker-badges: https://github.com/naszam/maker-badges/blob/718e9c5fb749241a62dede7a128c75b20e787e13/.github/workflows/fuzz.yml ## Echidna properties (without CI) - usffum: https://github.com/usmfum/USM/pull/41 - monolith_contracts: https://github.com/bughunter0xff/monolith_contracts/blob/60709d65cc2178ca936920133610268aa4c30dc5/tools/echidna/controller/controller.sol...

On the same type of topic, we should have some classification with examples on the difference between: - Defining partially what the target is supposed to do, where we don't...

Another pattern that I follow often and is worth documenting is to extract parts of the targeted function's code. For example, if I want to test the arithmetics on a...