3036 Commits (a9ee1371ef8e212c07fd58465ce6f04b52c84f18)

 

All Branches   

Search

Author	SHA1	Message	Date
Feist Josselin	f6fa0e1064	Merge pull request #1377 from crytic/dev-fix-storage-size ... Improve constant parsing	2 years ago
Pascal Marco Caversaccio	94159fab12	Merge pull request #1 from pcaversaccio/dev ... Merge `dev` into `patch-1`	2 years ago
Simone	928d7f22ce	Run black	2 years ago
Emilio López	c09aa50c18	Fix early truncation ... If we cast to int too early, we may lose precision (e.g. "0.1 ether")	2 years ago
Emilio López	d47dd66579	Fix linting errors	2 years ago
Emilio López	3112f157ca	Fix test reference in CI	2 years ago
Emilio López	e7e411ba0e	Fix detector output ... Floats were being used by mistake, so the output ended up being in scientific notation.	2 years ago
Emilio López	237bb53591	Fix non-numeric literals	2 years ago
Emilio López	2879514f23	Add tests for large and negative constants	2 years ago
Emilio López	ce801942ab	Unify parsing of integers with convert_string_to_int/fraction	2 years ago
Emilio López	036f7d62f4	Replace Decimal with Fraction ... Fractions are arbitrary-precision and will not cause truncated values.	2 years ago
Emilio López	98611e3ae7	Fix parsing of constants ... Fixes: #1376	2 years ago
Emilio López	01baf01860	Configure decimal precision to a value able to represent 2**256 ... The default decimal precision is able to handle up to 28 significant digits, which is not enough to represent large numbers. This raises the precision to 80 digits, which should fit 2**256.	2 years ago
Emilio López	b563be7af9	Add tests for rational and scientific notation constants	2 years ago
JorgeAtPaladin	efe103c79c	Constants detector: Also detect Contract types	2 years ago
Emilio López	f5f4cb11e9	Dockerfile: add x86_64 libc on non-intel containers ... This assists in running x86_64 dynamic binaries, such as certain solc 0.8.x releases, in ARM containers. This can be useful when working on machines with certain emulation configuration, such as M1 Macs with Docker Desktop.	2 years ago
alpharush	0e264b3b84	consider state variable collisions and incorrect return type	2 years ago
Josselin Feist	aa4a57d050	Add more types	2 years ago
Simone	cc3b342d51	Fix ir for top level function	2 years ago
Simone	90520c591b	Add parsing tests	2 years ago
Simone	f0439905e0	Improve using for support	2 years ago
Feist Josselin	719e4e98d8	Merge pull request #1359 from crytic/boyan/no-fail-pedantic ... Add the `--no-fail-pedantic` flag	2 years ago
Boyan-MILANOV	082dd94e67	Improve help messages	2 years ago
Boyan-MILANOV	994c4438f6	Remove custom argparse action	2 years ago
Boyan-MILANOV	32599e0d2c	Fix cli CI test	2 years ago
Boyan-MILANOV	1127eb5c49	Force --no-fail-pedantic on some CI tests	2 years ago
Boyan-MILANOV	40534e1a30	Fix --no-fail-pedantic option parsing	2 years ago
Boyan-MILANOV	0ab3d50fa3	Add --no-fail-pedantic flag and make failing the default behavior	2 years ago
alpharush	0d04e17f8c	remove pragmas and make syntax compatible	2 years ago
alpharush	a17a938a90	use standard test convention, match on sig instead of name	2 years ago
Feist Josselin	78397b94dd	Merge pull request #1356 from crytic/dev-rec-structure-function-id ... Use full_name for solidity signature in case of internal function	2 years ago
Josselin Feist	6dc5856be7	Use a best effort approach for internal function function-id	2 years ago
Josselin Feist	085b60913a	Use full_name for solidity signature in case of internal function ... Hotfix to support recursive type	2 years ago
Josselin Feist	81f0e70423	Make results deterministic	2 years ago
Josselin Feist	be82a1fe16	Multiple improvements	2 years ago
Josselin Feist	b6c95e6db9	Minor	2 years ago
Josselin Feist	a000d337bf	Black & pylint	2 years ago
Josselin Feist	d2a93f0225	Update the cross function reentrancy heuristic to work on variable read, and public state variables	2 years ago
Josselin Feist	303ed83736	Merge branch 'dev' into dev-improve-reentrancy	2 years ago
Feist Josselin	243c6da594	Merge pull request #1347 from crytic/0xalpharush-patch-1 ... implement hash for constants	2 years ago
Feist Josselin	d8e526e53f	Merge pull request #1344 from plotchy/dev_fp_uuc ... add _disableInitializers() detection	2 years ago
Josselin Feist	93a1610a0c	Fix CI	2 years ago
Josselin Feist	520a9ba569	Merge branch 'dev' into 0xalpharush-patch-1	2 years ago
Feist Josselin	10413a3df3	Merge pull request #1349 from crytic/dev-fix-customer-error-contract-arg ... match on solidity sig and full name for custom errors	2 years ago
Josselin Feist	08994a3971	Filter reentrancies detector based on the nonReentrant modifier ... - reentrancy-eth/reentrancy-no-eth: do not warn if the function is non reentrant, and there is no other reentrant function that writes to the affected variable - reentrancy-event: do not warm if the function is non reentrant	2 years ago
Josselin Feist	70dff581ed	Add function.all_reachable_from_functions and function.is_reentrant ... Fix type in function.reacheable_from_functions	2 years ago
Josselin Feist	831f9dead3	Improve reentrancy detector: ... - Fix loop detection (fix #1019) - Add python types	2 years ago
alpharush	3e9859cd89	implement full name for custom error and match on it	2 years ago
Feist Josselin	5b718a197b	Merge pull request #1348 from crytic/0xalpharush-patch-2 ... implement eq for literal	2 years ago
alpharush	6819084177	implement eq for literal ... Fixes https://github.com/crytic/slither/issues/1286 IR generated after this PR ``` Contract Setter Function Setter.set(uint256[1],uint256,uint256) (*) Expression: self[key] = value IRs: REF_0(uint256) -> self[key] REF_0 (->self) := value(uint256) Contract SetterTest Function SetterTest.f(uint256,uint256) (*) Expression: params.set(key,value) IRs: LIBRARY_CALL, dest:Setter, function:Setter.set(uint256[1],uint256,uint256), arguments:['params', 'key', 'value'] ```	2 years ago