Firefly helps Ethereum smart contract developers by illuminating holes in their contract's test-set, guiding them towards higher test coverage and thus higher code quality assurance. A definite must for any smart contract developer planning to store and manipulate user funds!
Try out the Firefly prototype by using the drop-in replacement kevm-ganache-cli instead of ganache-cli in your workflow. Firefly replaces the functionality of ethereumjs-vm with our own KEVM. It promises to:
Enable better assurance of correctness of a program’s implementation.
Provide extra analysis powered by with KEVM.
Planned features for Firefly include:
Run Truffle tests directly using KEVM.
Measure test coverage over your program’s EVM bytecode.
Runtime verify temporal properties of your contract.
Generate tests for uncovered portions of your program’s EVM bytecode.
Interested in the future of Firefly? Sign up for updates below.