953 Commits (4d7fa009339905e3f2372d5273202235b126bbf5)

 

All Branches   

Search

Author	SHA1	Message	Date
Josselin	4d7fa00933	Merge branch 'dev' into dev-fix-c3-linearalization	6 years ago
Feist Josselin	ad0f3cd80c	Merge pull request #204 from crytic/dev-sourcemapping-columns ... Added starting/ending column numbers to source mapping	6 years ago
Feist Josselin	2495ba3ed2	Merge pull request #208 from crytic/dev-fix-solc-ast-flag ... Re-add --solc-ast	6 years ago
Josselin	638edb2a1c	Improve travis_test_cli.sh	6 years ago
Josselin	97b4f5cc7c	Add 3 new type of tests for travis: ... - tests_cli: tests some of the cli flags - test_pritners: call all the printers - test_slither_config: test the --config flag Additionally: - "all" can be selected for printers (all the printers are then run) - 'ignore_return_value' can be set in the config file	6 years ago
Josselin	8d0297f604	Fix travis path	6 years ago
Josselin	a58da24e86	Update travis test	6 years ago
Josselin	852856a5df	Merge branch 'master' into dev-sourcemapping-columns	6 years ago
Josselin	08762a0275	Improve travis test	6 years ago
Josselin	12cdcc2e87	Re-add --solc-ast	6 years ago
Josselin	dd8dabeb02	v0.6.3	6 years ago
Josselin	7e7910fa9a	Update README.md	6 years ago
Feist Josselin	747b2a090c	Merge pull request #199 from crytic/dev-crytic-compile ... [WIP] use crytic-compile	6 years ago
Josselin	0f7b75cea9	Use crytic-compile from pypi	6 years ago
Josselin	e7da392cd3	Merge branch 'master' into dev-crytic-compile	6 years ago
Josselin	e013338f81	Use crytic-compile from pip	6 years ago
Josselin	893674743d	Merge branch 'master' into dev-fix-c3-linearalization	6 years ago
Josselin	559e35b95d	Update README	6 years ago
Josselin	d6ce9b9681	Add regression test for dapp/etherlime/etherscan	6 years ago
Josselin	f7d68c05f6	Fix travis	6 years ago
Josselin	ac82e1fc0c	Update to crytic-compile d90d8372d2826fb310ff83e87e4fa9ea0d553ae3	6 years ago
David Pokora	93368c1ff8	Fixed a typo in the _compute_line function documentation.	6 years ago
David Pokora	a729d1d19e	Added starting/ending columns to source mapping entries.	6 years ago
Josselin	3a65367fd2	Update to crytic-compile 4ff24b811095a8d64a16a54e666b59aec2d924da	6 years ago
Josselin	0856f1ad60	Use crytic_compile.is_supported to test compatibility	6 years ago
Josselin	e2e6873dab	Merge branch 'skylightcyber-master'	6 years ago
Josselin	88a6ced3af	rtlo detector: minor modifs	6 years ago
Shahar Zini	349e9f7f20	Add right-to-left-override character (U+202E) detection	6 years ago
Josselin	531adabf18	WIP: use crytic-compile	6 years ago
Josselin	36707efe91	Fix travis (close #197)	6 years ago
Josselin	2eae18d26f	Improve integration tests	6 years ago
Josselin	e9d05c6d60	Add integration tests for embark/truffle	6 years ago
Josselin	755cc6d4c8	Travis: split into different build	6 years ago
Josselin	8b20ba5ab1	0.6.2	6 years ago
Josselin	e7ccd584bb	Merge branch 'dev'	6 years ago
Josselin	f3d5f0d0e8	Rename slither-check-upgradability -> slither-check-upgradeability ... Improve slither-check-upgradeability output	6 years ago
Josselin	bffa59f6c5	Rename slither-check-upgradability -> slither-check-upgradeability ... Improve slither-check-upgradeability output	6 years ago
Josselin	40ee332e8a	Minor	6 years ago
Josselin	5efbe05f3f	Typo + add --embark-ignore-compile flag	6 years ago
Josselin	ee1b4c251d	Refactor Slither entry point: a Slither object will now detect by itself ... if the directory is a truffle or embark one. The advantage is to simplify: - external scripts and utils (ex: possible-paths/check-upgradability support embark natively) - __main__.pyn Changes: - Remove is_truffle/is_embark flag - Move truffle compile to Sliter._init_from_truffle - Refactor help, there are two new option groups: truffle and embark - Rename --ignore-truffle-compile to truffle-ignore-compile	6 years ago
Josselin	e531c3ace3	Merge branch 'dev'	6 years ago
Josselin	75658ec2f2	Fix incorrect embark plugin name ... Improve embark json rewrite	6 years ago
Josselin	b3cd1ee15b	Update to @trailofbits/embark-contract-info v1.0.0	6 years ago
Josselin	2ddb9bbd28	Update embark directory	6 years ago
Josselin	66512afa8d	Merge branch 'dev' into dev-embark-support	6 years ago
Josselin	605ea7f847	Add support for 'selector' Solidity keyword	6 years ago
Josselin	202bf27222	Add support for 'selector' Solidity keyword	6 years ago
Josselin	b372621a0a	Embark plugin: ... - rename force-embark-plugin to embark-overwrite-config - add the flag to the slither config file - fix incorrect Slither initialization - change logic: - only install the plugin if config file is written - improve error handling - do not write contracts ast to an external file - do not remove the ast file generated	6 years ago
Feist Josselin	e579fce61e	Merge branch 'dev' into dev-embark-support	6 years ago
rajeevgopalakrishna	ac9eeaac94	Fixed a typo kwargsg -> kwargs	6 years ago