Enhancing Reliability of Symbolic Execution Tools for Smart Contract Analysis through Rule-Based False Positive Reduction

Muhammad Ali Hassan Ahmad, Muhammad Hashim Ali, Muhammad Ali Amer +3

A blockchain is a decentralized, secure ledger system that enables transparent and immutable record-keeping, essential for trust and security in digital transactions. Smart contrac…