You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
-[EIPs - forks](./learn_evm/eips_forks.md): summarize the EIPs included in each fork
16
+
-[Not so smart contracts](./not-so-smart-contracts): Examples of smart contract common issues. Each issue contains a description, an example and recommendations
17
+
-[Algorand](./not-so-smart-contracts/algorand)
18
+
-[Cairo](./not-so-smart-contracts/cairo)
19
+
-[Cosmos](./not-so-smart-contracts/cosmos)
20
+
-[Substrate](./not-so-smart-contracts/Substrate)
16
21
-[Program analysis](./program-analysis): How to use automated tools to secure contracts
17
22
-[Echidna](./program-analysis/echidna): a fuzzer that will check your contract's properties.
18
23
-[Slither](./program-analysis/slither): a static analyzer avaialable through a CLI and scriptable interface.
19
24
-[Manticore](./program-analysis/manticore): a symbolic execution engine that can prove the correctness properties.
20
25
- For each tool, this training material will provide:
21
26
- a theoretical introduction, a walkthrough of its API, and a set of exercises.
22
27
- exercises expected to require ~two hours to practically learn its operation.
28
+
-[Ressources](./ressources): Various online ressources
29
+
-[Trail of Bits blogposts](./resources/tob_blogposts.md) List of blockchain related blogpost made by Trail of Bits
0 commit comments