crytic/slither
1
0
Fork 0
mirror of https://github.com/crytic/slither.git synced 2026-10-12 02:12:39 +00:00
Code Issues Packages Projects Releases Wiki Activity
5,003 Commits 61 Branches 48 Tags
dev-data-flow-range
Commit Graph
5003 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Marcelo Morales f431cfa53b Save point 2025-11-02 13:26:44 -05:00
Marcelo Morales da99f032bb Add support for string.concat() in interval analysis 2025-11-02 11:11:50 -05:00
Marcelo Morales 53f84855d9 Fix: Skip non-numeric constants gracefully to prevent Decimal conversion errors 2025-11-02 10:57:37 -05:00
Marcelo Morales 62dea64cb4 Adding operation codesize 2025-11-02 10:24:07 -05:00
Marcelo Morales 729f4d1c0e Removing a bunch of logger.debugs 2025-11-02 10:15:01 -05:00
Marcelo Morales 1d90f17b11 fizing some tweaks 2025-10-31 10:32:43 -04:00
Marcelo Morales 55e9111d7f Handling and refactoring 2025-10-31 10:02:37 -04:00
Marcelo Morales 7c0a8bde47 cleaning logs 2025-10-31 09:31:33 -04:00
Marcelo Morales 8db721c1d0 Adding sha3 2025-10-30 12:49:46 -04:00
Marcelo Morales 15b83a3da3 keccak256 2025-10-29 13:11:19 -04:00
Marcelo Morales 0a8397ce4e Contract support 2025-10-27 10:37:52 -04:00
Marcelo Morales 6352887201 fixing keccak256 2025-10-27 09:58:15 -04:00
Marcelo Morales 9236e9575e fixing create2 2025-10-27 09:51:06 -04:00
Marcelo Morales c50e591df8 Gitignore 2025-10-27 09:41:43 -04:00
Marcelo Morales 8940aa83d0 adding calls 2025-10-26 15:59:20 -04:00
Marcelo Morales 2a1a479302 adding new array 2025-10-26 15:46:20 -04:00
Marcelo Morales 50d7432aa2 solidity composed variable in constraint manager 2025-10-23 11:23:37 -04:00
Marcelo Morales 6f1270fbd2 more filtering 2025-10-23 10:49:57 -04:00
Marcelo Morales 9a2941a2fe Adding solidity calls -- cursor 2025-10-23 09:57:11 -04:00
Marcelo Morales 7ae4adf76b Cleaning output 2025-10-22 19:28:54 -04:00
Marcelo Morales ef13e96c9b Cleaning output 2025-10-21 19:41:08 -04:00
Marcelo Morales cef0d2248d Updating 2025-10-21 15:13:31 -04:00
Marcelo Morales c57e5fe970 Updating 2025-10-21 15:13:10 -04:00
Marcelo Morales c2b14596a7 Updating 2025-10-21 14:18:52 -04:00
Marcelo Morales d9e6d733b7 Cleaning 2025-10-21 14:07:47 -04:00
Marcelo Morales 340c1f4e33 Fixing logic with respect to returns 2025-10-21 14:07:01 -04:00
Marcelo Morales 10e5d08530 updating 2025-10-21 02:15:07 -04:00
Marcelo Morales 99de4400dc more stuff 2025-10-21 02:01:28 -04:00
Marcelo Morales 0f848aaee4 faster expo 2025-10-21 01:17:15 -04:00
Marcelo Morales 16cc0ddb7c adding sol calls 2025-10-21 00:27:36 -04:00
Marcelo Morales bcf0c18643 adding sol calls 2025-10-20 23:52:32 -04:00
Marcelo Morales 42163c75f8 tild 2025-10-20 23:34:15 -04:00
Marcelo Morales c92ae71dc0 unpacking tuples 2025-10-20 23:05:34 -04:00
Marcelo Morales a9ec5050a1 highly experimental 2025-10-20 22:12:09 -04:00
Marcelo Morales b77343e670 highly experimental 2025-10-20 22:10:43 -04:00
Marcelo Morales 308cd36cdc requires/asserts now check validity 2025-10-20 18:41:04 -04:00
Marcelo Morales c74330d5b2 library support 2025-10-20 14:20:46 -04:00
Marcelo Morales 319becc6aa Adding support for return variables in function declaration 2025-10-20 14:02:59 -04:00
Marcelo Morales 91040ef14a Adding timestamp solidity call for assembly 2025-10-20 13:29:00 -04:00
Marcelo Morales 18d19f6d58 Adding conservative approach to internal dynamic call handler 2025-10-20 11:44:47 -04:00
Marcelo Morales ee3228e80c Create temporary variables for all internal call return values 2025-10-18 13:17:43 -04:00
Marcelo Morales 5a31454d78 avoiding infinite recursion and assignment of structs 2025-10-18 13:04:56 -04:00
Marcelo Morales cbf54b5a87 adding more type handinling for uninit vars 2025-10-18 12:51:46 -04:00
Marcelo Morales d12b772696 applying DRY and adding more functionality 2025-10-18 12:46:50 -04:00
Marcelo Morales a0292a49d5 feat(interval): support for free functions | cleaning _initialize_domain_from_bottom() 2025-10-17 14:05:52 -04:00
Marcelo Morales c21d26ac94 creating placeholder for structs 2025-10-17 13:47:27 -04:00
Marcelo Morales ae5f3549ad adding support for ecrecover 2025-10-17 13:41:30 -04:00
Marcelo Morales 5264c7db54 adding all variables properly 2025-10-17 11:45:42 -04:00
Marcelo Morales e487daf4dc feat(interval): adding functinoality for solidity variables and other function calls 2025-10-17 10:40:53 -04:00
Marcelo Morales 411391c885 BANG handling introduced, needs proper testing 2025-10-16 17:36:50 -04:00