11 # solc is currently broken on Darwin, default to false
12 , withSolc ? !stdenv.isDarwin
15 buildPythonPackage rec {
16 pname = "slither-analyzer";
19 disabled = pythonOlder "3.6";
25 inherit pname version;
26 sha256 = "10r479xidgxvas4wb0z6injp59jrn7rfq8d7bxlcalc2dy4mawr0";
29 nativeBuildInputs = [ makeWrapper ];
30 propagatedBuildInputs = [ crytic-compile prettytable setuptools ];
32 postFixup = lib.optionalString withSolc ''
33 wrapProgram $out/bin/slither \
34 --prefix PATH : "${lib.makeBinPath [ solc ]}"
38 description = "Static Analyzer for Solidity";
40 Slither is a Solidity static analysis framework written in Python 3. It
41 runs a suite of vulnerability detectors, prints visual information about
42 contract details, and provides an API to easily write custom analyses.
44 homepage = "https://github.com/trailofbits/slither";
45 license = licenses.agpl3Plus;
46 maintainers = with maintainers; [ arturcygan ];