slither

Commit Graph

Select branches

Hide Pull Requests

abstractness

always-depend

bugfix/variabledeclaration

bugfix/yul-tests

ck-printer-old

complexity-dashboard-printer

contracts-derived-filter-tests

coupling-printer

dependabot/github_actions/dev/pypa/gh-action-pypi-publish-1.12.2

dependabot/github_actions/dev/super-linter/super-linter-7.2.0

detect/ecrecover

dev

dev-0.7

dev-add-endassembly

dev-arbitrum

dev-autocompletion

dev-cfg-rename

dev-diff-blocks

dev-erc721-props

dev-external-calls

dev-fix-cfg

dev-function-comments

dev-get_line_and_character_from_offset

dev-implicit-conversion

dev-import-aliasing-experiment

dev-import-scope

dev-incorrect-return

dev-middle

dev-missing-zero-check-icall

dev-new-props

dev-optimize-var-order

dev-paths-homebrew

dev-perf

dev-prbmath

dev-reentrancy-constantinople-2

dev-storage-var

dev-using-ecrecover-detector

dev-workaround-action-48

dev-workaround-action-48-0.8.3

dev-wrong-encode-with-selector

erc4626

erc4626-interface

erc4626-share-inflation

feat/subcommands

feature/cleanup-fixup

features/exclude-location

features/filtering

features/typer

fix-crytic_revert_transfer_to_user-prop

fix-inheritance-printer

fix-zero-check

fix/model-implicit-type-conversions

fix/unused-imports

frabert/fix-offsets-from-thing-contract

ir_ssa_fix_phi

ir_ssa_fix_phi_2

issue_fix

issue_fixes

master

missing-zero-check-refactor

must-depend-on

program-slicing

refactor-identifier-resolution

revert-1799-detector-compilation-artifacts

rewrite/solc_parsing

run-black

sarif-logical-locations

send-arbitrary-erc20

snd-printer-eth-send

snd-printers-payable

test-printers

test/slithir-read-write

tmp-reentrancy-fix

try-catch-exceptional-control-flow

type-improvemetns

upgradeability-gap-pattern

#1000

#1005

#1006

#1012

#1013

#1016

#1018

#102

#1020

#1022

#1023

#1025

#1032

#1033

#1037

#1040

#1041

#1042

#1043

#1044

#1045

#1046

#1047

#1048

#1049

#1053

#1054

#1055

#1057

#106

#1065

#1068

#1069

#107

#1073

#1074

#1076

#108

#1082

#1083

#1085

#1086

#1088

#1089

#1092

#1094

#1096

#1097

#1097

#1099

#1100

#1101

#1102

#1102

#1104

#1107

#1108

#1110

#1111

#1117

#1118

#1119

#1120

#1122

#1123

#1124

#1125

#1126

#1128

#113

#1130

#1131

#1132

#1133

#1134

#1135

#1137

#1141

#1149

#1151

#1156

#1157

#1162

#1163

#1165

#1167

#117

#1171

#1175

#1177

#1178

#1179

#1180

#1181

#1184

#1185

#1186

#1188

#1190

#1193

#1196

#12

#1200

#1204

#1205

#1207

#1209

#1209

#1216

#1217

#122

#1227

#1229

#1230

#1231

#1233

#1239

#1242

#1243

#1244

#1245

#1249

#125

#1255

#1256

#1257

#1267

#1268

#1271

#1274

#1276

#1277

#1278

#1280

#1282

#1285

#1288

#129

#1291

#1292

#1292

#1297

#1299

#13

#1300

#1302

#1303

#1304

#1306

#1307

#1308

#1309

#1310

#1311

#1317

#1318

#132

#1323

#1325

#1332

#1334

#1335

#1336

#1339

#1342

#1343

#1344

#1346

#1346

#1347

#1348

#1349

#1350

#1351

#1356

#1359

#1360

#1360

#1362

#1369

#1373

#1373

#1375

#1377

#1378

#1384

#1385

#1386

#1387

#1388

#1389

#1392

#1394

#1395

#1396

#1396

#1397

#1397

#1398

#1398

#1399

#14

#1400

#1401

#1402

#1402

#1403

#1403

#1404

#1405

#1406

#1409

#1411

#1419

#1425

#1425

#1429

#1430

#1432

#1434

#1435

#1441

#1442

#1443

#1444

#1445

#1449

#1451

#1454

#1455

#1456

#1457

#146

#1460

#1461

#1462

#147

#1470

#1475

#1475

#1477

#148

#1480

#1483

#1484

#1485

#1487

#1488

#1489

#149

#1494

#1496

#1497

#1498

#1499

#15

#1500

#1501

#1503

#1504

#1506

#1507

#1508

#1510

#1513

#1514

#1515

#1516

#1517

#1518

#1519

#1520

#1521

#1522

#1523

#1524

#1525

#1526

#1527

#1528

#1529

#1529

#1530

#1532

#1533

#1534

#1535

#1539

#1542

#1545

#1546

#1547

#1549

#1550

#1551

#1552

#1553

#1554

#1555

#1556

#1558

#1558

#1559

#1560

#1561

#1563

#1564

#1565

#1565

#1567

#1568

#1569

#1571

#1573

#1574

#1575

#1576

#1577

#1579

#1581

#1583

#1584

#1586

#159

#1592

#1599

#16

#16

#1600

#1601

#1603

#1604

#1605

#1608

#1608

#161

#1611

#1617

#1618

#162

#1623

#1624

#1625

#1626

#1632

#1632

#1633

#1636

#1637

#1638

#1639

#1640

#1641

#1642

#1643

#1650

#1651

#1653

#1655

#1656

#1657

#166

#1660

#1661

#1662

#1663

#1665

#1666

#1669

#1672

#1673

#1674

#1676

#1679

#1684

#1685

#1689

#169

#1690

#1691

#1692

#1692

#1694

#1695

#1699

#17

#1705

#1706

#1707

#1709

#1709

#1710

#1711

#1712

#1713

#1715

#172

#1722

#1723

#1724

#1725

#1730

#1731

#1733

#1734

#1735

#1738

#1739

#174

#1740

#1741

#1743

#1744

#1749

#1752

#1753

#1755

#1756

#1757

#1759

#1761

#1762

#1763

#1763

#1764

#1765

#1766

#1768

#1769

#1770

#1771

#1772

#1773

#1774

#1777

#1781

#1781

#1782

#1784

#1786

#179

#1791

#1792

#1796

#1799

#1802

#1803

#1804

#1806

#1808

#181

#1812

#1814

#1814

#1816

#1817

#1818

#1820

#1821

#1823

#1824

#1832

#1839

#184

#1842

#1843

#1844

#1845

#1848

#1850

#1852

#1854

#1855

#1856

#1858

#1861

#1862

#1868

#1869

#1871

#1872

#1873

#1876

#1877

#1878

#1880

#1881

#1882

#1886

#1887

#1888

#1889

#1890

#1891

#1892

#1894

#1895

#1896

#1898

#1900

#1902

#1903

#1905

#1909

#191

#1911

#1912

#1914

#1915

#1917

#1919

#1921

#1924

#1926

#193

#1933

#1935

#1936

#1938

#194

#1942

#1945

#1946

#1947

#1948

#1949

#1951

#1952

#1956

#1957

#1959

#196

#1961

#1962

#1963

#1967

#1967

#1968

#1969

#1971

#1972

#1974

#1976

#1977

#1978

#1979

#198

#1980

#1981

#1982

#1983

#1984

#1986

#1988

#199

#1990

#1991

#1992

#1993

#1994

#1995

#1996

#1997

#1998

#1999

#2

#2

#20

#200

#2000

#2001

#2002

#2003

#2004

#201

#2010

#2012

#2014

#2015

#2015

#2018

#2019

#202

#2022

#2023

#2024

#2027

#2029

#2030

#2031

#2033

#2034

#204

#2043

#2044

#2047

#2048

#2049

#2051

#2052

#2060

#2061

#2063

#2064

#2065

#2066

#2067

#2068

#2069

#2069

#2070

#2071

#2076

#2078

#2079

#2079

#208

#2080

#2081

#2084

#2086

#2087

#2093

#2098

#2099

#21

#2105

#211

#2110

#2111

#2112

#2114

#2115

#2118

#2119

#2120

#2121

#2124

#2125

#213

#2131

#2132

#2133

#2134

#2135

#2146

#2147

#215

#2151

#2153

#2154

#2155

#2156

#2158

#2159

#216

#2162

#2164

#2165

#2166

#2167

#2168

#217

#2170

#2172

#2173

#2174

#2175

#2176

#2177

#2180

#2181

#2182

#2183

#2185

#2186

#2187

#2188

#2189

#219

#2197

#2198

#2199

#2200

#2201

#2203

#2206

#2208

#2211

#2212

#2219

#222

#2220

#2221

#2224

#2225

#2230

#2232

#2235

#2236

#2236

#2238

#2238

#2239

#2240

#2241

#2241

#2246

#2247

#2248

#2249

#2249

#225

#2250

#2251

#2251

#2252

#2253

#2254

#2255

#2256

#2258

#2259

#226

#2260

#2264

#2265

#227

#2270

#2275

#2277

#2278

#228

#2280

#2281

#2285

#2286

#2288

#2288

#2289

#2289

#229

#2290

#2292

#2293

#2294

#2297

#2298

#2299

#230

#2302

#2303

#2305

#2306

#2308

#231

#2310

#2311

#2312

#2314

#2315

#2317

#2317

#2319

#2320

#2321

#2323

#2326

#2329

#233

#2330

#2331

#2332

#2333

#2338

#234

#2340

#2341

#2342

#2343

#2344

#2346

#2347

#2348

#2349

#235

#2353

#2357

#2358

#236

#2360

#2361

#2363

#2365

#2366

#2367

#2368

#237

#2370

#2371

#2372

#2373

#2376

#238

#2381

#2382

#2383

#2384

#2385

#2386

#2387

#2388

#2389

#239

#2391

#2392

#2393

#2394

#2396

#2397

#240

#2400

#2401

#2402

#2403

#2404

#2405

#2406

#2407

#2408

#2409

#241

#2410

#2411

#2412

#2413

#2414

#2416

#2416

#2417

#2418

#2419

#242

#2420

#2420

#2423

#2423

#2426

#2427

#2427

#2428

#2428

#2431

#2432

#2433

#2435

#2436

#2438

#2439

#244

#2440

#2441

#2442

#2444

#2447

#2448

#2448

#2449

#2452

#2453

#2455

#2457

#2458

#2458

#2459

#2460

#2461

#2462

#2463

#2464

#2465

#2468

#2469

#2471

#2472

#2473

#2474

#2475

#2476

#2479

#2479

#2480

#2481

#2482

#2484

#2485

#2486

#2488

#249

#2492

#2493

#2494

#2495

#2496

#2498

#2499

#2502

#2502

#2506

#2508

#2513

#2513

#2518

#252

#2521

#2529

#2531

#2534

#2536

#2537

#254

#2540

#2541

#2542

#2543

#2546

#2547

#2550

#2551

#2553

#2554

#2555

#2556

#2556

#2559

#2560

#2564

#2565

#2565

#2567

#2568

#2569

#257

#2570

#2571

#2572

#2573

#2573

#2574

#2575

#2576

#2578

#2579

#2580

#2581

#2582

#2583

#2584

#2585

#2588

#2589

#2596

#2597

#2597

#260

#2601

#2602

#2602

#2603

#2603

#2604

#2605

#2606

#2606

#263

#264

#265

#266

#269

#275

#276

#277

#278

#279

#28

#280

#281

#282

#283

#285

#290

#293

#295

#298

#299

#3

#300

#301

#302

#303

#305

#31

#311

#313

#314

#315

#317

#32

#321

#322

#323

#325

#328

#329

#330

#332

#333

#334

#335

#338

#339

#34

#340

#346

#348

#35

#35

#350

#351

#353

#354

#355

#356

#357

#36

#360

#362

#364

#367

#368

#369

#370

#371

#373

#374

#375

#376

#377

#378

#379

#38

#380

#381

#383

#384

#385

#386

#387

#388

#390

#391

#396

#397

#400

#403

#406

#407

#409

#410

#411

#412

#413

#414

#415

#416

#417

#418

#42

#422

#423

#424

#425

#426

#428

#429

#431

#432

#437

#438

#439

#441

#442

#445

#446

#447

#448

#449

#451

#453

#454

#455

#458

#459

#46

#460

#461

#463

#467

#469

#472

#475

#476

#477

#478

#479

#480

#483

#484

#489

#49

#491

#494

#496

#497

#498

#499

#502

#503

#504

#505

#506

#507

#51

#510

#512

#513

#514

#516

#517

#519

#52

#522

#523

#524

#528

#53

#530

#535

#536

#537

#538

#539

#54

#540

#541

#544

#546

#548

#55

#550

#551

#554

#555

#556

#56

#560

#561

#562

#563

#564

#565

#567

#569

#572

#573

#575

#576

#577

#58

#598

#599

#60

#600

#601

#604

#605

#607

#608

#61

#610

#612

#613

#614

#615

#616

#617

#618

#62

#620

#621

#623

#624

#625

#626

#627

#628

#629

#630

#631

#632

#633

#635

#636

#637

#639

#64

#642

#643

#645

#646

#648

#650

#651

#653

#654

#655

#656

#659

#66

#660

#666

#67

#673

#675

#678

#68

#680

#682

#686

#687

#69

#693

#694

#701

#702

#703

#704

#705

#706

#707

#712

#713

#714

#718

#719

#72

#720

#721

#722

#723

#724

#725

#726

#728

#729

#730

#732

#733

#734

#736

#737

#738

#74

#744

#746

#746

#747

#75

#756

#758

#763

#764

#766

#769

#78

#780

#781

#785

#786

#791

#796

#798

#799

#8

#800

#801

#802

#81

#810

#811

#812

#813

#815

#817

#819

#821

#822

#823

#825

#827

#828

#830

#831

#832

#833

#836

#837

#838

#839

#84

#841

#842

#845

#846

#848

#849

#850

#853

#854

#855

#856

#858

#859

#86

#861

#862

#867

#869

#87

#870

#874

#875

#876

#877

#878

#879

#88

#886

#889

#890

#895

#896

#903

#906

#907

#908

#916

#917

#918

#920

#921

#925

#926

#93

#931

#935

#938

#939

#94

#945

#946

#947

#949

#952

#953

#954

#958

#964

#966

#967

#968

#971

#972

#973

#980

#983

#984

#985

#986

#987

#988

#990

#991

#992

#994

#996

#997

#998

#999

0.1.0

0.10.0

0.10.1

0.10.2

0.10.3

0.10.4

0.2.0

0.3.0

0.3.1

0.4.0

0.5.0

0.5.1

0.5.2

0.6.0

0.6.1

0.6.10

0.6.11

0.6.12

0.6.13

0.6.14

0.6.15

0.6.2

0.6.3

0.6.4

0.6.6

0.6.7

0.6.8

0.6.9

0.7.0

0.7.1

0.8.0

0.8.1

0.8.2

0.8.3

0.9.0

0.9.1

0.9.2

0.9.3

0.9.4

0.9.5

0.9.6

15277f7f91 Open source ArbitrarySend detector (WIP) Josselin 2018-10-03 20:20:38 +0100
381d97b868 Open source ArbitrarySend detector (WIP) Josselin 2018-10-03 20:20:38 +0100
7b74744c6b Improve taint Add this.balance to solidity variable Josselin 2018-10-03 20:10:07 +0100
9eb9114fa1 Improve taint Add this.balance to solidity variable Josselin 2018-10-03 20:10:07 +0100
a8b837f0f6 Update README.md Dan Guido 2018-10-01 11:08:42 -0400
2dc475e275

Update README.md Dan Guido 2018-10-01 11:08:42 -0400
6073294117 Note which detectors can from MAIAN Dan Guido 2018-10-01 11:02:30 -0400
dbc33e5c68

Note which detectors can from MAIAN Dan Guido 2018-10-01 11:02:30 -0400
9ed3508692 Merge branch 'master' into slithir Josselin 2018-10-01 09:44:03 +0100
fcb2110b55 Merge branch 'master' into slithir Josselin 2018-10-01 09:44:03 +0100
30b33d48c7 Update README Josselin 2018-10-01 09:43:57 +0100
4e8f4cf6f4 Update README Josselin 2018-10-01 09:43:57 +0100
0e03b85a9d Update lockedEther testcase Josselin 2018-10-01 09:36:38 +0100
8cc789e18a Update lockedEther testcase Josselin 2018-10-01 09:36:38 +0100
7d31a5c5e2 Add missing __init__.py Josselin 2018-10-01 09:32:26 +0100
ca51fcf502 Add missing __init__.py Josselin 2018-10-01 09:32:26 +0100
1b33ddc8b5 Improve LockedEther detector Open source Suicidal detector Josselin 2018-10-01 09:28:41 +0100
05c9db7f58 Improve LockedEther detector Open source Suicidal detector Josselin 2018-10-01 09:28:41 +0100
a0d0be119b Update Travis tests Josselin 2018-10-01 08:51:47 +0100
39860db4e9 Update Travis tests Josselin 2018-10-01 08:51:47 +0100
fb653021fc Merge branch 'master' of github.com:trailofbits/slither Josselin 2018-10-01 08:49:22 +0100
4c7b1bd14e Merge branch 'master' of github.com:trailofbits/slither Josselin 2018-10-01 08:49:22 +0100
d282e23a2c API change: contract.functions_all_called -> all_functions_called Use all_functions_called in unused variables detector Josselin 2018-10-01 08:46:05 +0100
c0ba9a7191 API change: contract.functions_all_called -> all_functions_called Use all_functions_called in unused variables detector Josselin 2018-10-01 08:46:05 +0100
9cf63e39c4 Add LockedEther detector Josselin 2018-10-01 08:48:04 +0100
64231df5ae Add LockedEther detector Josselin 2018-10-01 08:48:04 +0100
dcc41ae9da API change: contract.functions_all_called -> all_functions_called Use all_functions_called in unused variables detector Josselin 2018-10-01 08:46:05 +0100
6216a9ccd7 API change: contract.functions_all_called -> all_functions_called Use all_functions_called in unused variables detector Josselin 2018-10-01 08:46:05 +0100
d0c76888a0 Merge pull request #21 from trailofbits/docker Dan Guido 2018-09-28 17:31:34 -0400
20b8fdb7bc

Merge pull request #21 from trailofbits/docker Dan Guido 2018-09-28 17:31:34 -0400
50ebc2dcf2 Dockerfile: Add initial Dockerfile William Woodruff 2018-09-28 17:27:10 -0400
4bf5f47364

Dockerfile: Add initial Dockerfile #21 William Woodruff 2018-09-28 17:27:10 -0400
299cd3d6c5 Fix bugs (incorrect if then else parsing, incorrect - operator) Josselin 2018-09-28 18:57:44 +0100
f7a0337c24 Fix bugs (incorrect if then else parsing, incorrect - operator) Josselin 2018-09-28 18:57:44 +0100
246a04bc9a Fix incorrect CFG recovery of 'else if' Add are variable written analysis (WIP) Fix small bugs Josselin 2018-09-27 18:14:20 +0100
accb786037 Fix incorrect CFG recovery of 'else if' Add are variable written analysis (WIP) Fix small bugs Josselin 2018-09-27 18:14:20 +0100
df86b5e730 Better handling of ternary on return statement Josselin 2018-09-27 15:29:44 +0100
8f579bdd82 Better handling of ternary on return statement Josselin 2018-09-27 15:29:44 +0100
b942885eff Add specific_taint module Add Return/Condition operation Fix small bugs Change Substraction -> Subtraction Josselin 2018-09-27 11:05:50 +0100
e426f1bc93 Add specific_taint module Add Return/Condition operation Fix small bugs Change Substraction -> Subtraction Josselin 2018-09-27 11:05:50 +0100
74f71e42aa Allow multiple using_for on the same type Josselin 2018-09-26 17:53:56 +0100
75cb9c56fb Allow multiple using_for on the same type Josselin 2018-09-26 17:53:56 +0100
7440f91a8e Allow library on address Josselin 2018-09-26 17:37:00 +0100
15b0f2d18a Allow library on address Josselin 2018-09-26 17:37:00 +0100
43dadbccf1 Add Transfer and Send operation Josselin 2018-09-26 17:24:36 +0100
b486c8c1fb Add Transfer and Send operation Josselin 2018-09-26 17:24:36 +0100
57d84ef2da Use slithIR to determine if a function is unprotected Add slithIR to modifiers Josselin 2018-09-26 14:02:35 +0100
773e39f150 Use slithIR to determine if a function is unprotected Add slithIR to modifiers Josselin 2018-09-26 14:02:35 +0100
3f77c6d07f Merge branch 'master' into slithir Josselin 2018-09-26 13:03:32 +0100
8504d480ce Merge branch 'master' into slithir Josselin 2018-09-26 13:03:32 +0100
5aa8a9fff2 Update example.py Feist Josselin 2018-09-26 11:35:48 +0100
0d1bbbebad

Update example.py Feist Josselin 2018-09-26 11:35:48 +0100
3b6f8a8e8a Update __main__.py with new classification system Josselin 2018-09-26 11:31:29 +0100
6790757549 Update __main__.py with new classification system Josselin 2018-09-26 11:31:29 +0100
9d7f6e4826 Improve error reporting for incorrect detector config Josselin 2018-09-26 11:29:43 +0100
a2e1590227 Improve error reporting for incorrect detector config Josselin 2018-09-26 11:29:43 +0100
c8c6729416 AbstractDetector: - Replace Classification by Impact - Add Confidence - Replace CODEQUALITY by Informational Add hidden option to automatically generate markdown list of detectors Update Readme Josselin 2018-09-26 10:55:00 +0100
f428e4cb4b AbstractDetector: - Replace Classification by Impact - Add Confidence - Replace CODEQUALITY by Informational Add hidden option to automatically generate markdown list of detectors Update Readme Josselin 2018-09-26 10:55:00 +0100
5bea4a20a4 Update README Josselin 2018-09-25 17:20:31 +0100
3d7781aac5 Update README Josselin 2018-09-25 17:20:31 +0100
f0025a71da Open source unused state variable detector Josselin 2018-09-25 17:08:21 +0100
43f6414d9f Open source unused state variable detector Josselin 2018-09-25 17:08:21 +0100
6d0ee5171a Add TmpNewStructure module Josselin 2018-09-25 12:12:21 +0100
d8ca53c6e9 Add TmpNewStructure module Josselin 2018-09-25 12:12:21 +0100
4216c67a87 Filter library to only Variable Josselin 2018-09-25 12:10:06 +0100
7df39d4b07 Filter library to only Variable Josselin 2018-09-25 12:10:06 +0100
2d49b652bb Improve call to library (not working with using A for *) Josselin 2018-09-25 12:07:35 +0100
374dfa72d5 Improve call to library (not working with using A for *) Josselin 2018-09-25 12:07:35 +0100
74906018c8 Fix incorrect multiple inheritance order Josselin 2018-09-25 10:40:12 +0100
a5db66067f Fix incorrect multiple inheritance order Josselin 2018-09-25 10:40:12 +0100
eec25ac35f Merge branch 'master' into slithir Josselin 2018-09-25 10:18:49 +0100
b1e3cf6367 Merge branch 'master' into slithir Josselin 2018-09-25 10:18:49 +0100
cbf08cb311 Add authorization printer example Josselin 2018-09-25 10:13:48 +0100
c442ec056e Add authorization printer example Josselin 2018-09-25 10:13:48 +0100
d6d991fefa Dont run detectors if a printer is called Josselin 2018-09-25 10:00:22 +0100
ab690d1f24 Dont run detectors if a printer is called Josselin 2018-09-25 10:00:22 +0100
b7dde287cc Remove PushArray operation Clean convert.py Josselin 2018-09-25 09:41:59 +0100
904e453c86 Remove PushArray operation Clean convert.py Josselin 2018-09-25 09:41:59 +0100
e616ae20f8 Merge branch 'master' into slithir Josselin 2018-09-25 09:06:45 +0100
ef40d0d74b Merge branch 'master' into slithir Josselin 2018-09-25 09:06:45 +0100
51dc5aabc2 API changes: - get_functions_writing_variable -> get_functions_writing_to_variable - get_functions_reading_variable -> get_functions_reading_from_variable Josselin 2018-09-25 08:43:48 +0100
bacd12ec2c API changes: - get_functions_writing_variable -> get_functions_writing_to_variable - get_functions_reading_variable -> get_functions_reading_from_variable Josselin 2018-09-25 08:43:48 +0100
3d2a92b489 Add __eq__ , __hash__ in SolidityVariable Josselin 2018-09-24 20:10:44 +0100
040d2d3744 Add __eq__ , __hash__ in SolidityVariable Josselin 2018-09-24 20:10:44 +0100
14559b6c0f Remove print Josselin 2018-09-24 19:42:37 +0100
386e1023b1 Remove print Josselin 2018-09-24 19:42:37 +0100
b581385d36 Remove print Josselin 2018-09-24 19:35:35 +0100
c9bdaf19a9 Remove print Josselin 2018-09-24 19:35:35 +0100
7d842a1cf3 Merge branch 'dev' into slithir Josselin 2018-09-24 19:25:18 +0100
b6dbe26299 Merge branch 'dev' into slithir Josselin 2018-09-24 19:25:18 +0100
575089a9d7 Add is_erc20 to core.contract Josselin 2018-09-24 19:25:01 +0100
cad16a5d96 Add is_erc20 to core.contract Josselin 2018-09-24 19:25:01 +0100
6963357912 Add taint as slither module Add is_unprotected to core.function Josselin 2018-09-24 19:12:50 +0100
dda057728d Add taint as slither module Add is_unprotected to core.function Josselin 2018-09-24 19:12:50 +0100
a8384e2306 Merge branch 'dev' into slithir Josselin 2018-09-24 18:25:01 +0100
0890dbf337 Merge branch 'dev' into slithir Josselin 2018-09-24 18:25:01 +0100
b5848d9ae4 Refactor function.all_.. methods Josselin 2018-09-24 18:15:56 +0100
7952a804a8 Refactor function.all_.. methods Josselin 2018-09-24 18:15:56 +0100
acd82357c0 Merge branch 'dev-remove-ternary-expression' Josselin 2018-09-24 17:33:37 +0100
f72706d77f Merge branch 'dev-remove-ternary-expression' Josselin 2018-09-24 17:33:37 +0100