Runtime VerificationTowards a Comprehensive ERC Test SuiteDeveloping ERC tokens can be particularly challenging because of their inherent immutability, the intricacy of their behavior, and the…Oct 30, 2023
Johnny TimeDetecting Smart Contract Vulnerabilities Automatically with SlitherIn this article, We will explore the importance of auditing smart contracts and introduce Slither, a powerful static analysis framework…Jul 11, 20231
Officer's NotesinPessimistic SecuritySlitherin Timeline 2.0Today we’ll look at the significant news and updates pertaining to our Slitherin project in this article!Aug 2, 20231Aug 2, 20231
Alberto MolinainCoinmonksSlither: Smart Contract security toolsWriting secure smart contracts can be a very challenging task. There are multiple well-known and well-documented vulnerabilities like those…Jun 29, 20221Jun 29, 20221
Officer's NotesinPessimistic SecuritySlitherin by Pessimistic: ReleaseGreetings, dear readers! Today we will be releasing custom detectors for Slither tool!Apr 24, 2023Apr 24, 2023
Runtime VerificationTowards a Comprehensive ERC Test SuiteDeveloping ERC tokens can be particularly challenging because of their inherent immutability, the intricacy of their behavior, and the…Oct 30, 2023
Johnny TimeDetecting Smart Contract Vulnerabilities Automatically with SlitherIn this article, We will explore the importance of auditing smart contracts and introduce Slither, a powerful static analysis framework…Jul 11, 20231
Officer's NotesinPessimistic SecuritySlitherin Timeline 2.0Today we’ll look at the significant news and updates pertaining to our Slitherin project in this article!Aug 2, 20231
Alberto MolinainCoinmonksSlither: Smart Contract security toolsWriting secure smart contracts can be a very challenging task. There are multiple well-known and well-documented vulnerabilities like those…Jun 29, 20221
Officer's NotesinPessimistic SecuritySlitherin by Pessimistic: ReleaseGreetings, dear readers! Today we will be releasing custom detectors for Slither tool!Apr 24, 2023
David KathohinCoinmonksAutomated smart contract security review with SlitherSmart contract code can only be modified before deployment on Testnet or Mainnet, after deployment they become immutable or unchangeable…Nov 19, 20211
Taner AçıkgözSmart Contract Audit Automation-a use case exampleHere we will make a project from scratch to end. In this work I used a smart contract called Lock.sol which comes automatically when a…Apr 12, 2023
Bruno DelbinCrypto DevOpsSecurity analysis of a Solidity smart contract with SlitherSlither (https://github.com/crytic/slither) is a Solidity static analysis framework. Its main features are :Apr 11, 2023
