Forge security tests for smart contract auditing.

This repo has various.t.sol files for forge test.

Name		Name	Last commit message	Last commit date
Latest commit History 5 Commits
ArithmeticTest.t.sol		ArithmeticTest.t.sol
CentralizationTest.t.sol		CentralizationTest.t.sol
Counter.t.sol		Counter.t.sol
DoSTest.t.sol		DoSTest.t.sol
FVCatches.conf		FVCatches.conf
FVCatches.spec		FVCatches.spec
FVCatchesHarness.sol		FVCatchesHarness.sol
FVCatchesInvariant.conf		FVCatchesInvariant.conf
FVCatchesInvariant.spec		FVCatchesInvariant.spec
Game.t.sol		Game.t.sol
HalmosTest.t.sol		HalmosTest.t.sol
Handler.t.sol		Handler.t.sol
Invariant.t.sol		Invariant.t.sol
InvariantFail.t.sol		InvariantFail.t.sol
KontrolTest.t.sol		KontrolTest.t.sol
LICENSE		LICENSE
MishandlingOfEthTest.t.sol		MishandlingOfEthTest.t.sol
MissingAccessControlsTest.t.sol		MissingAccessControlsTest.t.sol
MockUSDC.sol		MockUSDC.sol
MockWBTC.sol		MockWBTC.sol
MockWETH.sol		MockWETH.sol
MockWSOL.sol		MockWSOL.sol
OracleManipulation.t.sol		OracleManipulation.t.sol
PasswordStore.t.sol		PasswordStore.t.sol
PuppyRaffleTest.t.sol		PuppyRaffleTest.t.sol
README.md		README.md
ReentrancyTest.t.sol		ReentrancyTest.t.sol
SignatureReplayTest.t.sol		SignatureReplayTest.t.sol
StatefulFuzzCatchesTest.t.sol		StatefulFuzzCatchesTest.t.sol
StatelessFuzzCatchesTest.t.sol		StatelessFuzzCatchesTest.t.sol
StorageCollisionTest.t.sol		StorageCollisionTest.t.sol
TestOrderBook.t.sol		TestOrderBook.t.sol
WeakRandomnessTest.t.sol		WeakRandomnessTest.t.sol
WhereFuzzingFails.t.sol		WhereFuzzingFails.t.sol
YeildERC20.sol		YeildERC20.sol
YieldERC20.sol		YieldERC20.sol
mutation.mconf		mutation.mconf

Provide feedback