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
InPessimistic SecuritybyOfficer's NotesSlitherin 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
InPessimistic SecuritybyOfficer's NotesGas Gauge: Pressure ControlWe continue our series of educational articles and today we’ll look at Gas Gauge — an awesome tool aimed to help Solidity code auditors!Oct 17, 20221Oct 17, 20221
InPessimistic SecuritybyOfficer's NotesSlitherin 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
InPessimistic SecuritybyOfficer's NotesSlitherin Timeline 2.0Today we’ll look at the significant news and updates pertaining to our Slitherin project in this article!Aug 2, 20231
InPessimistic SecuritybyOfficer's NotesGas Gauge: Pressure ControlWe continue our series of educational articles and today we’ll look at Gas Gauge — an awesome tool aimed to help Solidity code auditors!Oct 17, 20221
InPessimistic SecuritybyOfficer's NotesSlitherin by Pessimistic: ReleaseGreetings, dear readers! Today we will be releasing custom detectors for Slither tool!Apr 24, 2023
InPessimistic SecuritybyOfficer's NotesSlither: An Auditor’s CornucopiaWe can confidently say that such tips can be read publicly in a few places, and our blog is one of them!Sep 26, 20222
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
InCoinmonksbyDavid KathohAutomated 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
