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

Mono Color

• 92498e78d8
  Merge 95962bf8e3 into 5599ee2d06 #35 CryptoMental 2018-10-18 13:41:01 +0000
• 95962bf8e3 README.md: Update docs on inline assembly detector. #35 Cryptomental 2018-10-18 15:39:35 +0200
• ada69c91f0 Merge branch 'master' into dev Josselin 2018-10-18 14:29:19 +0100
• b03386feee Merge branch 'master' into dev Josselin 2018-10-18 14:29:19 +0100
• 93e6c087c8 Update README Josselin 2018-10-18 14:21:14 +0100
• 1987fe0e8b Update README Josselin 2018-10-18 14:21:14 +0100
• 949fe4432b detectors: Add assembly detector. Cryptomental 2018-10-18 12:21:59 +0200
• 1d6cebd991 detectors: Add assembly detector. Cryptomental 2018-10-18 12:21:59 +0200
• 11c3cb1b55 Update README Josselin 2018-10-18 14:21:14 +0100
• 6e3b7c2db5 Update README Josselin 2018-10-18 14:21:14 +0100
• 140516b64d Rename printers Josselin 2018-10-18 14:17:57 +0100
• c3c8e74ee9 Rename printers Josselin 2018-10-18 14:17:57 +0100
• b20cf26886 Merge pull request #31 from cryptomental/feature/inline-assembly-detector Feist Josselin 2018-10-18 14:10:09 +0100
• 5599ee2d06
  Merge pull request #31 from cryptomental/feature/inline-assembly-detector Feist Josselin 2018-10-18 14:10:09 +0100
• a4599ba508 add Naming Convention Detector redshark1802 2018-10-18 14:42:29 +0200
• 495de91217 add Naming Convention Detector redshark1802 2018-10-18 14:42:29 +0200
• 26a3b903a8 detectors: Add assembly detector. Cryptomental 2018-10-18 12:21:59 +0200
• b069d9340e detectors: Add assembly detector. #31 Cryptomental 2018-10-18 12:21:59 +0200
• 0aeb3bbaaa Merge pull request #32 from akhavr/master Feist Josselin 2018-10-18 12:15:47 +0100
• 265a7d6a17
  Merge pull request #32 from akhavr/master Feist Josselin 2018-10-18 12:15:47 +0100
• a809b6ed02 Fix typo in the installation instruction akhavr 2018-10-18 14:02:42 +0300
• 0352b0652a
  Fix typo in the installation instruction #32 akhavr 2018-10-18 14:02:42 +0300
• 5d91bb9e9b Add slithir printer testcase Josselin 2018-10-18 11:30:37 +0100
• 1c5f48affe Add slithir printer testcase Josselin 2018-10-18 11:30:37 +0100
• bb1ec99395 Merge pull request #20 from trailofbits/slithir Feist Josselin 2018-10-18 11:16:31 +0100
• 07db6db185
  Merge pull request #20 from trailofbits/slithir Feist Josselin 2018-10-18 11:16:31 +0100
• cf357e7b3b Update README Josselin 2018-10-18 11:14:33 +0100
• cb56e28085 Update README #20 Josselin 2018-10-18 11:14:33 +0100
• c4910439d5 SlitIR: reduce Assignment operator to pure assignment, convert others to Binary() Josselin 2018-10-18 09:24:35 +0100
• 9ea0194c43 SlitIR: reduce Assignment operator to pure assignment, convert others to Binary() Josselin 2018-10-18 09:24:35 +0100
• baa949d109 Merge branch 'master' into slithir Josselin 2018-10-17 13:56:38 +0100
• 01a28d869d Merge branch 'master' into slithir Josselin 2018-10-17 13:56:38 +0100
• 63f62e8fcd If the length of an ArrayType is constant, use its value Josselin 2018-10-17 13:38:32 +0100
• c021ec92dd If the length of an ArrayType is constant, use its value Josselin 2018-10-17 13:38:32 +0100
• 2622a22277 Merge branch 'master' into slithir Josselin 2018-10-17 10:56:33 +0100
• 56079226ef Merge branch 'master' into slithir Josselin 2018-10-17 10:56:33 +0100
• 8f749f5e38 Add is_constant to Variable Josselin 2018-10-17 10:56:04 +0100
• 105b594e47 Add is_constant to Variable Josselin 2018-10-17 10:56:04 +0100
• 0e47223edc slithir: Improve library lookup Josselin 2018-10-17 10:51:53 +0100
• 029e853116 slithir: Improve library lookup Josselin 2018-10-17 10:51:53 +0100
• 3127099f6c SlihIR: Add InternalDynamicCall operator + fix minor bugs Josselin 2018-10-16 12:26:20 +0100
• 050d593232 SlihIR: Add InternalDynamicCall operator + fix minor bugs Josselin 2018-10-16 12:26:20 +0100
• c090d2fcf8 Improve fix point computation for specific taint Josselin 2018-10-15 17:45:54 +0100
• 0d4e993155 Improve fix point computation for specific taint Josselin 2018-10-15 17:45:54 +0100
• bb04e9ae1c SlithIr: fix incorrect lib lookup. Re-order type lookup (loop first for contract) Josselin 2018-10-15 14:10:04 +0100
• a06ef44038 SlithIr: fix incorrect lib lookup. Re-order type lookup (loop first for contract) Josselin 2018-10-15 14:10:04 +0100
• 01734bec13 Fix incorrect conversion of init_array with n dimension Josselin 2018-10-15 13:49:16 +0100
• 6ee8c9b2dd Fix incorrect conversion of init_array with n dimension Josselin 2018-10-15 13:49:16 +0100
• 04b0b909c7 Fix bug when convertir push([1,2]) Josselin 2018-10-15 13:08:10 +0100
• 5745be7d20 Fix bug when convertir push([1,2]) Josselin 2018-10-15 13:08:10 +0100
• 355099f14b Add constructors to contract.all_functions_called Josselin 2018-10-15 13:05:24 +0100
• 8c34abe1c3 Add constructors to contract.all_functions_called Josselin 2018-10-15 13:05:24 +0100
• 358ee310af Fix incorrect fixpoint computation in reentrancy detector Josselin 2018-10-15 11:17:42 +0100
• 58121ce24d Fix incorrect fixpoint computation in reentrancy detector Josselin 2018-10-15 11:17:42 +0100
• 464533a1c1 Invert order for low level lookup Josselin 2018-10-15 11:03:40 +0100
• bd5fd2f9f4 Invert order for low level lookup Josselin 2018-10-15 11:03:40 +0100
• aa8aafc7c4 Use SolidityVariable in LowLevelCall (allow this) Josselin 2018-10-15 10:57:13 +0100
• 96587d729e Use SolidityVariable in LowLevelCall (allow this) Josselin 2018-10-15 10:57:13 +0100
• 60d6827e0e SlithIR: fix bugs Josselin 2018-10-12 15:31:56 +0100
• fd7ba8167f SlithIR: fix bugs Josselin 2018-10-12 15:31:56 +0100
• 23d45f995d Merge branch 'slithir-new-reentrancy' into slithir Josselin 2018-10-12 11:56:40 +0100
• 1adc14ddaa Merge branch 'slithir-new-reentrancy' into slithir Josselin 2018-10-12 11:56:40 +0100
• b2df01aa1c SlithIR: improve support for type Josselin 2018-10-12 11:51:48 +0100
• 10b3b4037d SlithIR: improve support for type Josselin 2018-10-12 11:51:48 +0100
• abe9454039 SlithIR: Add support for type (WIP) Josselin 2018-10-12 09:28:37 +0100
• 53d9a9de71 SlithIR: Add support for type (WIP) Josselin 2018-10-12 09:28:37 +0100
• ac06f14774 Reentrancy: dont consider libraries as callback Josselin 2018-10-10 17:56:54 +0100
• d18ef50f60 Reentrancy: dont consider libraries as callback Josselin 2018-10-10 17:56:54 +0100
• 92904e3790 Allow index operation on msg.data Josselin 2018-10-10 04:41:17 -0700
• 31d5cf27cb Allow index operation on msg.data Josselin 2018-10-10 04:41:17 -0700
• ef1425e7b4 Typo Josselin 2018-10-09 12:00:56 -0700
• 5a27736fce Typo Josselin 2018-10-09 12:00:56 -0700
• 5c33e4e6ea Add testcase Josselin 2018-10-09 11:59:17 -0700
• a56854887b Add testcase Josselin 2018-10-09 11:59:17 -0700
• eb499434fa WIP: new re-entrnacy heuristic, based on the IR transfer/send conversion done without checking destination type (name collision possible) Josselin 2018-10-09 11:42:29 -0700
• 25beeb584a WIP: new re-entrnacy heuristic, based on the IR transfer/send conversion done without checking destination type (name collision possible) Josselin 2018-10-09 11:42:29 -0700
• b73fa711d4 Transfrom this.balance to SolidityFunction Josselin 2018-10-07 21:23:33 -0700
• 759937cee5 Transfrom this.balance to SolidityFunction Josselin 2018-10-07 21:23:33 -0700
• 5fc8d1c052 Slithir: fix incorrect conversion Josselin 2018-10-07 21:02:42 -0700
• 64b037ba81 Slithir: fix incorrect conversion Josselin 2018-10-07 21:02:42 -0700
• f85d0326de SlithIR: improve support of new contract/structure Josselin 2018-10-07 20:40:38 -0700
• d270e8d835 SlithIR: improve support of new contract/structure Josselin 2018-10-07 20:40:38 -0700
• db2f9be1bd SlithIR: - Add support to assign Tuple - Add printer to output slithir Josselin 2018-10-06 17:15:06 -0700
• 4312f213b0 SlithIR: - Add support to assign Tuple - Add printer to output slithir Josselin 2018-10-06 17:15:06 -0700
• b43508b9ba Constructor declared as protected function Taint msg.sender for arbitrary send detector Josselin 2018-10-04 11:59:36 -0700
• 5faacb0205 Constructor declared as protected function Taint msg.sender for arbitrary send detector Josselin 2018-10-04 11:59:36 -0700
• 0ae2cc1c6f Use of taint in msg.value to reduce arbitrary send FP Josselin 2018-10-04 11:36:56 -0700
• b2efb3582b Use of taint in msg.value to reduce arbitrary send FP Josselin 2018-10-04 11:36:56 -0700
• e3e0ab9a6a Factor taint code SlithIR: Fix incorrect remove of instruction Josselin 2018-10-04 11:23:18 -0700
• 5c792cc954 Factor taint code SlithIR: Fix incorrect remove of instruction Josselin 2018-10-04 11:23:18 -0700
• aa1e2054b9 Clean import architecture Josselin 2018-10-04 09:44:07 -0700
• c4b55e128c Clean import architecture Josselin 2018-10-04 09:44:07 -0700
• 12e9182a57 Reduce arbitrary send confidence until larger testing Josselin 2018-10-03 20:41:29 +0100
• 473e6dba2f Reduce arbitrary send confidence until larger testing Josselin 2018-10-03 20:41:29 +0100
• 26613b8927 Merge branch 'slithir' of github.com:trailofbits/slither into slithir Josselin 2018-10-03 20:38:39 +0100
• 86736a2f68 Merge branch 'slithir' of github.com:trailofbits/slither into slithir Josselin 2018-10-03 20:38:39 +0100
• acc701d622 Update README Enable travis on arbitrary send testcase Josselin 2018-10-03 20:37:10 +0100
• 88b37c2b3c Update README Enable travis on arbitrary send testcase Josselin 2018-10-03 20:37:10 +0100
• a97b43e396 Clean code Josselin 2018-10-03 20:32:07 +0100
• 37e32e1c6d Clean code Josselin 2018-10-03 20:32:07 +0100