1002 Commits (140ea6fd0b39dd4bd41f8983b0e405c02cd6a655)

 

All Branches   

Search

Author	SHA1	Message	Date
Disconnect3d	de529a6fe3	Verify solc binary ... Verify that the solc binary is the one **we used** and noone changed it in the meantime.	6 years ago
Josselin	39d88e119a	Fix incorrect do while CFG recovery (fix 97)	6 years ago
Josselin	a4032dc000	Parse local variables prior parsing modifier (fix 99)	6 years ago
Josselin	f70fe60b1d	Improve mix mapping/array type recovery (fix 99)	6 years ago
Josselin	f804da4735	Improve ternary conversion (close #98)	6 years ago
Josselin	2916af5e90	Improve sha256/ripemd160 support	6 years ago
Matías A. Ré Medina	514b94b15d	Add support for executing truffle locally	6 years ago
Josselin	37c2ded097	Add visibility to Solidity script examples	6 years ago
Josselin	1f90b4c7f1	Update travis scripts	6 years ago
Josselin	f7c1d2c5e7	Update travis install	6 years ago
Josselin	f2a3779c56	Merge branch 'master' into dev-solidity-05	6 years ago
Josselin	7f02976f04	Merge branch 'dev-improve-json'	6 years ago
Josselin	b906965dcc	Update naming convention to new json format	6 years ago
Josselin	a860e0f96c	Merge branch 'master' of github.com:trailofbits/slither	6 years ago
Josselin	2d46050744	Fix incorrect unpacking in function summary printer (#104)	6 years ago
William Woodruff	214e18a30c	Dockerfile: Rewrite to use Ubuntu, official PPA	6 years ago
Josselin	0c63564669	Add Solidity 0.5 Support (WIP) ... Update travis tests to test both Solidity 0.4 and Solidity 0.5	6 years ago
Josselin	09c559c148	Merge branch 'master' into dev-solidity-05	6 years ago
Josselin	191cb76b42	Merge branch 'master' of github.com:trailofbits/slither	6 years ago
Feist Josselin	fd60773027	Merge pull request #94 from trailofbits/dev-improve-json ... Improve json information	6 years ago
Josselin	d3726f9dd7	Make json result more deterministic ... Remove check on description field for unit test (allow undeterministic print)	6 years ago
Josselin	16e0269972	Add impact and confidence fields	6 years ago
Josselin	1c666c729d	Partial support of Solidity 0.5 (WIP)	6 years ago
Josselin	19e1c6340d	Json: ... - Add 'description' field for each report - Add contract information to function field Close #91	6 years ago
Feist Josselin	4ed73e151d	Merge pull request #93 from SolidCheck/master ... Fixed Docker - slither not compatible with solc > 0.5.x atm, so …	6 years ago
rawwwulea	ea1309f28a	Fixed Dockerimage - slither not compatible with solc > 0.5.x atm, so downgrade solc to 0.4.25	6 years ago
Josselin	f1b578c11f	Minor	6 years ago
Josselin	1fb497a417	WIP: add support for state variables ... - Working within single function - Add phi_calls in case of calls Todo: - Internal calls support - Phi at function entrance	6 years ago
Josselin	767e01ec2c	Dominator: corner case if there is a if without else for dominance frontier ... add phi_callback for state variable	6 years ago
Josselin	27d38c3bd5	Sort slither cli output by detector.impact	6 years ago
adamhos	e5f3fa854e	Fix ConstantPragma detector wiki link (#88)	6 years ago
Josselin	e25be40be4	Add node.local_variables_written/local_variables_read ... Look ahead to add Phi operation only if the variable is used in sons	6 years ago
Josselin	cb6ecbf2bb	Merge branch 'dev' into dev-ssa	6 years ago
Josselin	4d97d82ac0	Ternary operation: move variable declaration to condition node to avoid dupplicate variable declaration	6 years ago
Josselin	b6952b4732	WIP: Improve ssa conversion ... - Add phi operation before reference assign - fix multiple bugs	6 years ago
Josselin	efa088b931	Minor ... Remove hash/eq in Variable	6 years ago
Josselin	29926c7e4f	Clean expression_to_slithir modifications	6 years ago
Josselin	a404027b5b	Add missing files	6 years ago
Josselin	2915840be2	Keep original slithIR and generate the SSA version as a second list of IR (WIP)	6 years ago
Josselin	0e6e0cb176	Improve slithir conversion	6 years ago
Josselin	b92694b985	Merge branch 'dev' into dev-ssa	6 years ago
Josselin	1908dc2cd8	Avoid None to be store on variables_written	6 years ago
Josselin	4cb8890dea	Add support for function parameters/return variables	6 years ago
Josselin	7e91d7ae5f	Add dominators information (node dominators, dominator tree, dominance frontier) ... Add SSA to SlithIR (WIP) - LocalVariable are converted to LocalIRVariable, which contains an index - Insert phi operations for local variable	6 years ago
Josselin	f3b82b4619	v0.3.1	6 years ago
Josselin	58ac904c90	Add contract to locked_ether json ... Udpdate test_generate_excepted_json	6 years ago
Josselin	f3a9999fb5	Use deepdiff library to compare json output instead of custom script	6 years ago
Josselin	689ef8bcc1	Merge branch 'dev-refactor-json' into dev	6 years ago
Josselin	dea6543bbb	Add new json helper	6 years ago
Feist Josselin	6322e201f6	Merge pull request #84 from trailofbits/dev-refactor-json ... Refactor json output	6 years ago