https://github.com/trailofbits/manticore
- HEAD
- refs/heads/DetectUninitializedMemory-offsets
- refs/heads/allow-coverage-upload-failure
- refs/heads/boyan/chess-syscalls
- refs/heads/c_strcmp_dev
- refs/heads/chess
- refs/heads/chess-symbolic_start
- refs/heads/dependabot/github_actions/coverallsapp/github-action-2.2.1
- refs/heads/dependabot/github_actions/pypa/gh-action-pip-audit-1.0.8
- refs/heads/dependabot/github_actions/pypa/gh-action-pypi-publish-1.8.8
- refs/heads/dev-bump-yices
- refs/heads/dev-config
- refs/heads/dev-connect-to-eth-node
- refs/heads/dev-coredump
- refs/heads/dev-cvc4
- refs/heads/dev-detect-transaction-reordering
- refs/heads/dev-evm-experiments
- refs/heads/dev-evm-stoppingcond
- refs/heads/dev-exp-unsound
- refs/heads/dev-expressions
- refs/heads/dev-function-callbacks
- refs/heads/dev-ignore-gas-better
- refs/heads/dev-lazy-mode
- refs/heads/dev-ordered-constraints-v2
- refs/heads/dev-remap-dynlink
- refs/heads/dev-report-worker
- refs/heads/dev-test-solc-5
- refs/heads/dev-visitors-opt
- refs/heads/disable-default-gas
- refs/heads/ekilmer-native-detectors
- refs/heads/ekilmer/use-pyproject-toml
- refs/heads/expressions-no-rename
- refs/heads/fix-gas-from-balance
- refs/heads/fix-increase-symbolic-buffer
- refs/heads/fix-killed-workers
- refs/heads/fix-truffle-test
- refs/heads/issue1621-arm-add
- refs/heads/master
- refs/heads/pytest-randomly
- refs/heads/refactor-events
- refs/heads/speedup-cpu-memory-write-read
- refs/heads/ss/chess-heap-tracker
- refs/heads/ss/fix_vt_example
- refs/heads/ss/from_chess/heap_tracking
- refs/heads/ss/heap_tracker
- refs/heads/std_string_dev
- refs/heads/test-multiple-pythons
- refs/heads/typeguard-pytest
- refs/heads/use-python-3.8
- refs/heads/z3-enable-parallel
- refs/reviewable/pr1001/r1
- refs/reviewable/pr1001/r2
- refs/reviewable/pr1001/r3
- refs/reviewable/pr1002/r1
- refs/reviewable/pr1002/r2
- refs/reviewable/pr1002/r3
- refs/reviewable/pr1002/r4
- refs/reviewable/pr1002/r5
- refs/reviewable/pr1004/r1
- refs/reviewable/pr1007/r1
- refs/reviewable/pr1009/r1
- refs/reviewable/pr1009/r10
- refs/reviewable/pr1009/r11
- refs/reviewable/pr1009/r12
- refs/reviewable/pr1009/r13
- refs/reviewable/pr1009/r14
- refs/reviewable/pr1009/r2
- refs/reviewable/pr1009/r3
- refs/reviewable/pr1009/r4
- refs/reviewable/pr1009/r5
- refs/reviewable/pr1009/r6
- refs/reviewable/pr1009/r7
- refs/reviewable/pr1009/r8
- refs/reviewable/pr1009/r9
- refs/reviewable/pr1010/r1
- refs/reviewable/pr1011/r1
- refs/reviewable/pr1013/r1
- refs/reviewable/pr1014/r1
- refs/reviewable/pr1017/r1
- refs/reviewable/pr1019/r1
- refs/reviewable/pr1019/r2
- refs/reviewable/pr1022/r1
- refs/reviewable/pr1023/r1
- refs/reviewable/pr1023/r2
- refs/reviewable/pr1024/r1
- refs/reviewable/pr1024/r2
- refs/reviewable/pr1024/r3
- refs/reviewable/pr1024/r4
- refs/reviewable/pr1026/r1
- refs/reviewable/pr1028/r1
- refs/reviewable/pr1028/r2
- refs/reviewable/pr1028/r3
- refs/reviewable/pr1028/r4
- refs/reviewable/pr1029/r1
- refs/reviewable/pr1030/r1
- refs/reviewable/pr1031/r1
- refs/reviewable/pr1031/r2
- refs/reviewable/pr1031/r3
- refs/reviewable/pr1031/r4
- refs/reviewable/pr1031/r5
- refs/reviewable/pr1031/r6
- refs/reviewable/pr1032/r1
- refs/reviewable/pr1033/r1
- refs/reviewable/pr1034/r1
- refs/reviewable/pr1034/r2
- refs/reviewable/pr1035/r1
- refs/reviewable/pr1037/r1
- refs/reviewable/pr1037/r2
- refs/reviewable/pr1037/r3
- refs/reviewable/pr1037/r4
- refs/reviewable/pr1038/r1
- refs/reviewable/pr1039/r1
- refs/reviewable/pr1041/r1
- refs/reviewable/pr1042/r1
- refs/reviewable/pr1042/r2
- refs/reviewable/pr1043/r1
- refs/reviewable/pr1046/r1
- refs/reviewable/pr1046/r2
- refs/reviewable/pr1046/r3
- refs/reviewable/pr1047/r1
- refs/reviewable/pr1048/r1
- refs/reviewable/pr1048/r2
- refs/reviewable/pr1048/r3
- refs/reviewable/pr1049/r1
- refs/reviewable/pr1049/r2
- refs/reviewable/pr1054/r1
- refs/reviewable/pr1054/r10
- refs/reviewable/pr1054/r11
- refs/reviewable/pr1054/r12
- refs/reviewable/pr1054/r13
- refs/reviewable/pr1054/r14
- refs/reviewable/pr1054/r15
- refs/reviewable/pr1054/r16
- refs/reviewable/pr1054/r17
- refs/reviewable/pr1054/r18
- refs/reviewable/pr1054/r19
- refs/reviewable/pr1054/r2
- refs/reviewable/pr1054/r20
- refs/reviewable/pr1054/r3
- refs/reviewable/pr1054/r4
- refs/reviewable/pr1054/r5
- refs/reviewable/pr1054/r6
- refs/reviewable/pr1054/r7
- refs/reviewable/pr1054/r8
- refs/reviewable/pr1054/r9
- refs/reviewable/pr1057/r1
- refs/reviewable/pr1057/r2
- refs/reviewable/pr1058/r1
- refs/reviewable/pr1058/r2
- refs/reviewable/pr1062/r1
- refs/reviewable/pr1063/r1
- refs/reviewable/pr1063/r2
- refs/reviewable/pr1064/r1
- refs/reviewable/pr1064/r2
- refs/reviewable/pr1064/r3
- refs/reviewable/pr1064/r4
- refs/reviewable/pr1064/r5
- refs/reviewable/pr1064/r6
- refs/reviewable/pr1064/r7
- refs/reviewable/pr1068/r1
- refs/reviewable/pr1068/r2
- refs/reviewable/pr1068/r3
- refs/reviewable/pr1072/r1
- refs/reviewable/pr1072/r2
- refs/reviewable/pr1072/r3
- refs/reviewable/pr1072/r4
- refs/reviewable/pr1072/r5
- refs/reviewable/pr1072/r6
- refs/reviewable/pr1073/r1
- refs/reviewable/pr1077/r1
- refs/reviewable/pr1077/r2
- refs/reviewable/pr1078/r1
- refs/reviewable/pr1078/r2
- refs/reviewable/pr1080/r1
- refs/reviewable/pr1080/r2
- refs/reviewable/pr1081/r1
- refs/reviewable/pr1082/r1
- refs/reviewable/pr1082/r2
- refs/reviewable/pr1082/r3
- refs/reviewable/pr1082/r4
- refs/reviewable/pr1083/r1
- refs/reviewable/pr1084/r1
- refs/reviewable/pr1085/r1
- refs/reviewable/pr1086/r1
- refs/reviewable/pr1087/r1
- refs/reviewable/pr1087/r2
- refs/reviewable/pr1096/r1
- refs/reviewable/pr1096/r2
- refs/reviewable/pr1096/r3
- refs/reviewable/pr1097/r1
- refs/reviewable/pr1097/r2
- refs/reviewable/pr1100/r1
- refs/reviewable/pr1100/r2
- refs/reviewable/pr1100/r3
- refs/reviewable/pr1100/r4
- refs/reviewable/pr1100/r5
- refs/reviewable/pr1100/r6
- refs/reviewable/pr1105/r1
- refs/reviewable/pr1106/r1
- refs/reviewable/pr1106/r2
- refs/reviewable/pr1108/r1
- refs/reviewable/pr1108/r2
- refs/reviewable/pr1109/r1
- refs/reviewable/pr1111/r1
- refs/reviewable/pr1112/r1
- refs/reviewable/pr1113/r1
- refs/reviewable/pr1114/r1
- refs/reviewable/pr1115/r1
- refs/reviewable/pr1116/r1
- refs/reviewable/pr1117/r1
- refs/reviewable/pr1117/r2
- refs/reviewable/pr1117/r3
- refs/reviewable/pr1118/r1
- refs/reviewable/pr1119/r1
- refs/reviewable/pr1119/r2
- refs/reviewable/pr1120/r1
- refs/reviewable/pr1120/r2
- refs/reviewable/pr1120/r3
- refs/reviewable/pr1120/r4
- refs/reviewable/pr1120/r5
- refs/reviewable/pr1120/r6
- refs/reviewable/pr1120/r7
- refs/reviewable/pr1122/r1
- refs/reviewable/pr1124/r1
- refs/reviewable/pr1124/r2
- refs/reviewable/pr1125/r1
- refs/reviewable/pr1126/r1
- refs/reviewable/pr1126/r2
- refs/reviewable/pr1126/r3
- refs/reviewable/pr1126/r4
- refs/reviewable/pr1127/r1
- refs/reviewable/pr1127/r10
- refs/reviewable/pr1127/r11
- refs/reviewable/pr1127/r12
- refs/reviewable/pr1127/r13
- refs/reviewable/pr1127/r14
- refs/reviewable/pr1127/r15
- refs/reviewable/pr1127/r16
- refs/reviewable/pr1127/r17
- refs/reviewable/pr1127/r2
- refs/reviewable/pr1127/r3
- refs/reviewable/pr1127/r4
- refs/reviewable/pr1127/r5
- refs/reviewable/pr1127/r6
- refs/reviewable/pr1127/r7
- refs/reviewable/pr1127/r8
- refs/reviewable/pr1127/r9
- refs/reviewable/pr1129/r1
- refs/reviewable/pr1131/r1
- refs/reviewable/pr1132/r1
- refs/reviewable/pr1133/r1
- refs/reviewable/pr1133/r2
- refs/reviewable/pr1134/r1
- refs/reviewable/pr1137/r1
- refs/reviewable/pr1138/r1
- refs/reviewable/pr1138/r2
- refs/reviewable/pr1138/r3
- refs/reviewable/pr1138/r4
- refs/reviewable/pr1138/r5
- refs/reviewable/pr1139/r1
- refs/reviewable/pr1139/r10
- refs/reviewable/pr1139/r2
- refs/reviewable/pr1139/r3
- refs/reviewable/pr1139/r4
- refs/reviewable/pr1139/r5
- refs/reviewable/pr1139/r6
- refs/reviewable/pr1139/r7
- refs/reviewable/pr1139/r8
- refs/reviewable/pr1139/r9
- refs/reviewable/pr1146/r1
- refs/reviewable/pr1146/r2
- refs/reviewable/pr1146/r3
- refs/reviewable/pr1146/r4
- refs/reviewable/pr1146/r5
- refs/reviewable/pr1150/r1
- refs/reviewable/pr1150/r2
- refs/reviewable/pr1153/r1
- refs/reviewable/pr1154/r1
- refs/reviewable/pr1155/r1
- refs/reviewable/pr1156/r1
- refs/reviewable/pr1159/r1
- refs/reviewable/pr1160/r1
- refs/reviewable/pr1160/r2
- refs/reviewable/pr1160/r3
- refs/reviewable/pr1160/r4
- refs/reviewable/pr1160/r5
- refs/reviewable/pr1160/r6
- refs/reviewable/pr1160/r7
- refs/reviewable/pr1160/r8
- refs/reviewable/pr1160/r9
- refs/reviewable/pr1161/r1
- refs/reviewable/pr1162/r1
- refs/reviewable/pr1171/r1
- refs/reviewable/pr1171/r2
- refs/reviewable/pr1171/r3
- refs/reviewable/pr1172/r1
- refs/reviewable/pr1172/r2
- refs/reviewable/pr1172/r3
- refs/reviewable/pr1172/r4
- refs/reviewable/pr1172/r5
- refs/reviewable/pr1172/r6
- refs/reviewable/pr1173/r1
- refs/reviewable/pr1174/r1
- refs/reviewable/pr1176/r1
- refs/reviewable/pr1177/r1
- refs/reviewable/pr1177/r2
- refs/reviewable/pr1179/r1
- refs/reviewable/pr1180/r1
- refs/reviewable/pr1180/r2
- refs/reviewable/pr1181/r1
- refs/reviewable/pr1182/r1
- refs/reviewable/pr1183/r1
- refs/reviewable/pr1185/r1
- refs/reviewable/pr1186/r1
- refs/reviewable/pr1186/r2
- refs/reviewable/pr1186/r3
- refs/reviewable/pr1186/r4
- refs/reviewable/pr1187/r1
- refs/reviewable/pr1188/r1
- refs/reviewable/pr1188/r2
- refs/reviewable/pr1190/r1
- refs/reviewable/pr1191/r1
- refs/reviewable/pr1192/r1
- refs/reviewable/pr1192/r2
- refs/reviewable/pr1192/r3
- refs/reviewable/pr1193/r1
- refs/reviewable/pr1194/r1
- refs/reviewable/pr1195/r1
- refs/reviewable/pr1195/r2
- refs/reviewable/pr1195/r3
- refs/reviewable/pr1195/r4
- refs/reviewable/pr1197/r1
- refs/reviewable/pr1197/r2
- refs/reviewable/pr1198/r1
- refs/reviewable/pr1207/r1
- refs/reviewable/pr1208/r1
- refs/reviewable/pr1211/r1
- refs/reviewable/pr1212/r1
- refs/reviewable/pr1212/r2
- refs/reviewable/pr1212/r3
- refs/reviewable/pr1212/r4
- refs/reviewable/pr1214/r1
- refs/reviewable/pr1215/r1
- refs/reviewable/pr1216/r1
- refs/reviewable/pr1216/r2
- refs/reviewable/pr1216/r3
- refs/reviewable/pr1216/r4
- refs/reviewable/pr1216/r5
- refs/reviewable/pr1217/r1
- refs/reviewable/pr1217/r2
- refs/reviewable/pr1218/r1
- refs/reviewable/pr1218/r2
- refs/reviewable/pr1220/r1
- refs/reviewable/pr1220/r2
- refs/reviewable/pr1220/r3
- refs/reviewable/pr1220/r4
- refs/reviewable/pr1221/r1
- refs/reviewable/pr1221/r2
- refs/reviewable/pr1222/r1
- refs/reviewable/pr1224/r1
- refs/reviewable/pr1224/r2
- refs/reviewable/pr1224/r3
- refs/reviewable/pr1224/r4
- refs/reviewable/pr1225/r1
- refs/reviewable/pr1226/r1
- refs/reviewable/pr1227/r1
- refs/reviewable/pr1228/r1
- refs/reviewable/pr1229/r1
- refs/reviewable/pr1229/r2
- refs/reviewable/pr1229/r3
- refs/reviewable/pr1232/r1
- refs/reviewable/pr1233/r1
- refs/reviewable/pr1233/r2
- refs/reviewable/pr1233/r3
- refs/reviewable/pr1235/r1
- refs/reviewable/pr1238/r1
- refs/reviewable/pr1239/r1
- refs/reviewable/pr1239/r2
- refs/reviewable/pr1239/r3
- refs/reviewable/pr1239/r4
- refs/reviewable/pr1240/r1
- refs/reviewable/pr1240/r2
- refs/reviewable/pr1240/r3
- refs/reviewable/pr1240/r4
- refs/reviewable/pr1240/r5
- refs/reviewable/pr1240/r6
- refs/reviewable/pr1241/r1
- refs/reviewable/pr1241/r2
- refs/reviewable/pr1241/r3
- refs/reviewable/pr1241/r4
- refs/reviewable/pr1242/r1
- refs/reviewable/pr1242/r2
- refs/reviewable/pr1242/r3
- refs/reviewable/pr1242/r4
- refs/reviewable/pr1242/r5
- refs/reviewable/pr1242/r6
- refs/reviewable/pr1243/r1
- refs/reviewable/pr1243/r2
- refs/reviewable/pr1243/r3
- refs/reviewable/pr1244/r1
- refs/reviewable/pr1244/r2
- refs/reviewable/pr1244/r3
- refs/reviewable/pr1245/r1
- refs/reviewable/pr1245/r2
- refs/reviewable/pr1246/r1
- refs/reviewable/pr1246/r2
- refs/reviewable/pr1248/r1
- refs/reviewable/pr1250/r1
- refs/reviewable/pr1254/r1
- refs/reviewable/pr1254/r2
- refs/reviewable/pr1254/r3
- refs/reviewable/pr1254/r4
- refs/reviewable/pr1254/r5
- refs/reviewable/pr1256/r1
- refs/reviewable/pr1257/r1
- refs/reviewable/pr1257/r10
- refs/reviewable/pr1257/r11
- refs/reviewable/pr1257/r12
- refs/reviewable/pr1257/r13
- refs/reviewable/pr1257/r2
- refs/reviewable/pr1257/r3
- refs/reviewable/pr1257/r4
- refs/reviewable/pr1257/r5
- refs/reviewable/pr1257/r6
- refs/reviewable/pr1257/r7
- refs/reviewable/pr1257/r8
- refs/reviewable/pr1257/r9
- refs/reviewable/pr1261/r1
- refs/reviewable/pr1263/r1
- refs/reviewable/pr1265/r1
- refs/reviewable/pr1266/r1
- refs/reviewable/pr1267/r1
- refs/reviewable/pr1267/r2
- refs/reviewable/pr1267/r3
- refs/reviewable/pr1269/r1
- refs/reviewable/pr1270/r1
- refs/reviewable/pr1271/r1
- refs/reviewable/pr1273/r1
- refs/reviewable/pr1275/r1
- refs/reviewable/pr1276/r1
- refs/reviewable/pr1279/r1
- refs/reviewable/pr1279/r10
- refs/reviewable/pr1279/r11
- refs/reviewable/pr1279/r2
- refs/reviewable/pr1279/r3
- refs/reviewable/pr1279/r4
- refs/reviewable/pr1279/r5
- refs/reviewable/pr1279/r6
- refs/reviewable/pr1279/r7
- refs/reviewable/pr1279/r8
- refs/reviewable/pr1279/r9
- refs/reviewable/pr1280/r1
- refs/reviewable/pr1281/r1
- refs/reviewable/pr1282/r1
- refs/reviewable/pr1283/r1
- refs/reviewable/pr1283/r2
- refs/reviewable/pr1284/r1
- refs/reviewable/pr1285/r1
- refs/reviewable/pr1286/r1
- refs/reviewable/pr1286/r2
- refs/reviewable/pr1288/r1
- refs/reviewable/pr1289/r1
- refs/reviewable/pr1290/r1
- refs/reviewable/pr1292/r1
- refs/reviewable/pr1293/r1
- refs/reviewable/pr1294/r1
- refs/reviewable/pr1294/r2
- refs/reviewable/pr1298/r1
- refs/reviewable/pr1298/r2
- refs/reviewable/pr1298/r3
- refs/reviewable/pr1298/r4
- refs/reviewable/pr1298/r5
- refs/reviewable/pr1299/r1
- refs/reviewable/pr1300/r1
- refs/reviewable/pr1301/r1
- refs/reviewable/pr1301/r2
- refs/reviewable/pr1301/r3
- refs/reviewable/pr1302/r1
- refs/reviewable/pr1302/r2
- refs/reviewable/pr1302/r3
- refs/reviewable/pr1303/r1
- refs/reviewable/pr1304/r1
- refs/reviewable/pr1305/r1
- refs/reviewable/pr1305/r2
- refs/reviewable/pr1305/r3
- refs/reviewable/pr1306/r1
- refs/reviewable/pr1306/r2
- refs/reviewable/pr1306/r3
- refs/reviewable/pr1306/r4
- refs/reviewable/pr1307/r1
- refs/reviewable/pr1308/r1
- refs/reviewable/pr1309/r1
- refs/reviewable/pr1309/r2
- refs/reviewable/pr1310/r1
- refs/reviewable/pr1311/r1
- refs/reviewable/pr1311/r2
- refs/reviewable/pr1312/r1
- refs/reviewable/pr1313/r1
- refs/reviewable/pr1313/r2
- refs/reviewable/pr1314/r1
- refs/reviewable/pr1318/r1
- refs/reviewable/pr1319/r1
- refs/reviewable/pr1319/r2
- refs/reviewable/pr1320/r1
- refs/reviewable/pr1321/r1
- refs/reviewable/pr1323/r1
- refs/reviewable/pr1323/r2
- refs/reviewable/pr1326/r1
- refs/reviewable/pr1328/r1
- refs/reviewable/pr1328/r2
- refs/reviewable/pr1329/r1
- refs/reviewable/pr1330/r1
- refs/reviewable/pr1331/r1
- refs/reviewable/pr1332/r1
- refs/reviewable/pr1334/r1
- refs/reviewable/pr1335/r1
- refs/reviewable/pr1337/r1
- refs/reviewable/pr1337/r2
- refs/reviewable/pr1337/r3
- refs/reviewable/pr1338/r1
- refs/reviewable/pr1338/r2
- refs/reviewable/pr1339/r1
- refs/reviewable/pr1339/r2
- refs/reviewable/pr1341/r1
- refs/reviewable/pr1344/r1
- refs/reviewable/pr1344/r2
- refs/reviewable/pr1345/r1
- refs/reviewable/pr1346/r1
- refs/reviewable/pr1347/r1
- refs/reviewable/pr1350/r1
- refs/reviewable/pr1350/r2
- refs/reviewable/pr1350/r3
- refs/reviewable/pr1351/r1
- refs/reviewable/pr1351/r2
- refs/reviewable/pr1351/r3
- refs/reviewable/pr1351/r4
- refs/reviewable/pr1352/r1
- refs/reviewable/pr1353/r1
- refs/reviewable/pr1355/r1
- refs/reviewable/pr1356/r1
- refs/reviewable/pr1356/r10
- refs/reviewable/pr1356/r2
- refs/reviewable/pr1356/r3
- refs/reviewable/pr1356/r4
- refs/reviewable/pr1356/r5
- refs/reviewable/pr1356/r6
- refs/reviewable/pr1356/r7
- refs/reviewable/pr1356/r8
- refs/reviewable/pr1356/r9
- refs/reviewable/pr1357/r1
- refs/reviewable/pr1359/r1
- refs/reviewable/pr1359/r2
- refs/reviewable/pr1360/r1
- refs/reviewable/pr1361/r1
- refs/reviewable/pr1363/r1
- refs/reviewable/pr1363/r2
- refs/reviewable/pr1364/r1
- refs/reviewable/pr1366/r1
- refs/reviewable/pr1366/r2
- refs/reviewable/pr1366/r3
- refs/reviewable/pr1366/r4
- refs/reviewable/pr1366/r5
- refs/reviewable/pr1366/r6
- refs/reviewable/pr1366/r7
- refs/reviewable/pr1366/r8
- refs/reviewable/pr1367/r1
- refs/reviewable/pr1368/r1
- refs/reviewable/pr1371/r1
- refs/reviewable/pr1371/r2
- refs/reviewable/pr1372/r1
- refs/reviewable/pr1376/r1
- refs/reviewable/pr1376/r10
- refs/reviewable/pr1376/r2
- refs/reviewable/pr1376/r3
- refs/reviewable/pr1376/r4
- refs/reviewable/pr1376/r5
- refs/reviewable/pr1376/r6
- refs/reviewable/pr1376/r7
- refs/reviewable/pr1376/r8
- refs/reviewable/pr1376/r9
- refs/reviewable/pr1378/r1
- refs/reviewable/pr1383/r1
- refs/reviewable/pr1383/r2
- refs/reviewable/pr1384/r1
- refs/reviewable/pr1384/r2
- refs/reviewable/pr1384/r3
- refs/reviewable/pr1384/r4
- refs/reviewable/pr1384/r5
- refs/reviewable/pr1384/r6
- refs/reviewable/pr1384/r7
- refs/reviewable/pr1385/r1
- refs/reviewable/pr1385/r2
- refs/reviewable/pr1385/r3
- refs/reviewable/pr1385/r4
- refs/reviewable/pr1385/r5
- refs/reviewable/pr1385/r6
- refs/reviewable/pr1385/r7
- refs/reviewable/pr1386/r1
- refs/reviewable/pr1386/r2
- refs/reviewable/pr1387/r1
- refs/reviewable/pr1388/r1
- refs/reviewable/pr1388/r2
- refs/reviewable/pr1390/r1
- refs/reviewable/pr1390/r2
- refs/reviewable/pr1390/r3
- refs/reviewable/pr1392/r1
- refs/reviewable/pr1393/r1
- refs/reviewable/pr1395/r1
- refs/reviewable/pr1396/r1
- refs/reviewable/pr1397/r1
- refs/reviewable/pr1399/r1
- refs/reviewable/pr1399/r2
- refs/reviewable/pr1401/r1
- refs/reviewable/pr1402/r1
- refs/reviewable/pr1403/r1
- refs/reviewable/pr1404/r1
- refs/reviewable/pr1405/r1
- refs/reviewable/pr1406/r1
- refs/reviewable/pr1406/r2
- refs/reviewable/pr1406/r3
- refs/reviewable/pr1406/r4
- refs/reviewable/pr1406/r5
- refs/reviewable/pr1408/r1
- refs/reviewable/pr1409/r1
- refs/reviewable/pr1413/r1
- refs/reviewable/pr1414/r1
- refs/reviewable/pr1414/r2
- refs/reviewable/pr1414/r3
- refs/reviewable/pr1415/r1
- refs/reviewable/pr1416/r1
- refs/reviewable/pr1418/r1
- refs/reviewable/pr1418/r2
- refs/reviewable/pr1418/r3
- refs/reviewable/pr1418/r4
- refs/reviewable/pr1419/r1
- refs/reviewable/pr1419/r2
- refs/reviewable/pr1419/r3
- refs/reviewable/pr1419/r4
- refs/reviewable/pr1420/r1
- refs/reviewable/pr1420/r2
- refs/reviewable/pr1421/r1
- refs/reviewable/pr1421/r2
- refs/reviewable/pr1421/r3
- refs/reviewable/pr1422/r1
- refs/reviewable/pr1422/r2
- refs/reviewable/pr1422/r3
- refs/reviewable/pr1422/r4
- refs/reviewable/pr1423/r1
- refs/reviewable/pr1423/r2
- refs/reviewable/pr1423/r3
- refs/reviewable/pr1423/r4
- refs/reviewable/pr1423/r5
- refs/reviewable/pr1423/r6
- refs/reviewable/pr1424/r1
- refs/reviewable/pr1424/r2
- refs/reviewable/pr1424/r3
- refs/reviewable/pr1429/r1
- refs/reviewable/pr1431/r1
- refs/reviewable/pr1431/r2
- refs/reviewable/pr1431/r3
- refs/reviewable/pr1431/r4
- refs/reviewable/pr1431/r5
- refs/reviewable/pr1431/r6
- refs/reviewable/pr1431/r7
- refs/reviewable/pr1433/r1
- refs/reviewable/pr1437/r1
- refs/reviewable/pr1438/r1
- refs/reviewable/pr1438/r2
- refs/reviewable/pr1438/r3
- refs/reviewable/pr1438/r4
- refs/reviewable/pr1438/r5
- refs/reviewable/pr1438/r6
- refs/reviewable/pr1439/r1
- refs/reviewable/pr1440/r1
- refs/reviewable/pr1441/r1
- refs/reviewable/pr1441/r2
- refs/reviewable/pr1441/r3
- refs/reviewable/pr1441/r4
- refs/reviewable/pr1441/r5
- refs/reviewable/pr1441/r6
- refs/reviewable/pr1441/r7
- refs/reviewable/pr1442/r1
- refs/reviewable/pr1443/r1
- refs/reviewable/pr1444/r1
- refs/reviewable/pr1444/r2
- refs/reviewable/pr1444/r3
- refs/reviewable/pr1445/r1
- refs/reviewable/pr1447/r1
- refs/reviewable/pr1448/r1
- refs/reviewable/pr1448/r2
- refs/reviewable/pr1448/r3
- refs/reviewable/pr1452/r1
- refs/reviewable/pr1453/r1
- refs/reviewable/pr1456/r1
- refs/reviewable/pr1456/r2
- refs/reviewable/pr1456/r3
- refs/reviewable/pr1457/r1
- refs/reviewable/pr1459/r1
- refs/reviewable/pr1465/r1
- refs/reviewable/pr1465/r2
- refs/reviewable/pr1465/r3
- refs/reviewable/pr1465/r4
- refs/reviewable/pr1465/r5
- refs/reviewable/pr1466/r1
- refs/reviewable/pr1466/r2
- refs/reviewable/pr1469/r1
- refs/reviewable/pr1469/r2
- refs/reviewable/pr1469/r3
- refs/reviewable/pr1472/r1
- refs/reviewable/pr1472/r2
- refs/reviewable/pr1472/r3
- refs/reviewable/pr1472/r4
- refs/reviewable/pr1474/r1
- refs/reviewable/pr1476/r1
- refs/reviewable/pr1476/r2
- refs/reviewable/pr1478/r1
- refs/reviewable/pr1480/r1
- refs/reviewable/pr1481/r1
- refs/reviewable/pr1481/r2
- refs/reviewable/pr1482/r1
- refs/reviewable/pr1482/r2
- refs/reviewable/pr1482/r3
- refs/reviewable/pr1482/r4
- refs/reviewable/pr1482/r5
- refs/reviewable/pr1485/r1
- refs/reviewable/pr1486/r1
- refs/reviewable/pr1488/r1
- refs/reviewable/pr1491/r1
- refs/reviewable/pr1492/r1
- refs/reviewable/pr1494/r1
- refs/reviewable/pr1495/r1
- refs/reviewable/pr1495/r2
- refs/reviewable/pr1497/r1
- refs/reviewable/pr1498/r1
- refs/reviewable/pr1500/r1
- refs/reviewable/pr1501/r1
- refs/reviewable/pr1502/r1
- refs/reviewable/pr1503/r1
- refs/reviewable/pr1504/r1
- refs/reviewable/pr1504/r2
- refs/reviewable/pr1504/r3
- refs/reviewable/pr1504/r4
- refs/reviewable/pr1504/r5
- refs/reviewable/pr1504/r6
- refs/reviewable/pr1505/r1
- refs/reviewable/pr1505/r2
- refs/reviewable/pr1505/r3
- refs/reviewable/pr1505/r4
- refs/reviewable/pr1505/r5
- refs/reviewable/pr1505/r6
- refs/reviewable/pr1505/r7
- refs/reviewable/pr1505/r8
- refs/reviewable/pr1506/r1
- refs/reviewable/pr1506/r2
- refs/reviewable/pr1507/r1
- refs/reviewable/pr1508/r1
- refs/reviewable/pr1509/r1
- refs/reviewable/pr1509/r2
- refs/reviewable/pr1510/r1
- refs/reviewable/pr1511/r1
- refs/reviewable/pr1511/r2
- refs/reviewable/pr1512/r1
- refs/reviewable/pr1512/r2
- refs/reviewable/pr1513/r1
- refs/reviewable/pr610/r1
- refs/reviewable/pr610/r2
- refs/reviewable/pr610/r3
- refs/reviewable/pr610/r4
- refs/reviewable/pr610/r5
- refs/reviewable/pr610/r6
- refs/reviewable/pr640/r1
- refs/reviewable/pr640/r10
- refs/reviewable/pr640/r11
- refs/reviewable/pr640/r12
- refs/reviewable/pr640/r13
- refs/reviewable/pr640/r2
- refs/reviewable/pr640/r3
- refs/reviewable/pr640/r4
- refs/reviewable/pr640/r5
- refs/reviewable/pr640/r6
- refs/reviewable/pr640/r7
- refs/reviewable/pr640/r8
- refs/reviewable/pr640/r9
- refs/reviewable/pr697/r1
- refs/reviewable/pr697/r2
- refs/reviewable/pr703/r1
- refs/reviewable/pr703/r2
- refs/reviewable/pr704/r1
- refs/reviewable/pr715/r1
- refs/reviewable/pr715/r10
- refs/reviewable/pr715/r2
- refs/reviewable/pr715/r3
- refs/reviewable/pr715/r4
- refs/reviewable/pr715/r5
- refs/reviewable/pr715/r6
- refs/reviewable/pr715/r7
- refs/reviewable/pr715/r8
- refs/reviewable/pr715/r9
- refs/reviewable/pr716/r1
- refs/reviewable/pr716/r2
- refs/reviewable/pr722/r1
- refs/reviewable/pr722/r2
- refs/reviewable/pr722/r3
- refs/reviewable/pr722/r4
- refs/reviewable/pr722/r5
- refs/reviewable/pr722/r6
- refs/reviewable/pr724/r1
- refs/reviewable/pr730/r1
- refs/reviewable/pr730/r2
- refs/reviewable/pr730/r3
- refs/reviewable/pr730/r4
- refs/reviewable/pr730/r5
- refs/reviewable/pr732/r1
- refs/reviewable/pr732/r2
- refs/reviewable/pr732/r3
- refs/reviewable/pr733/r1
- refs/reviewable/pr738/r1
- refs/reviewable/pr738/r2
- refs/reviewable/pr739/r1
- refs/reviewable/pr739/r2
- refs/reviewable/pr739/r3
- refs/reviewable/pr739/r4
- refs/reviewable/pr739/r5
- refs/reviewable/pr740/r1
- refs/reviewable/pr741/r1
- refs/reviewable/pr741/r2
- refs/reviewable/pr745/r1
- refs/reviewable/pr749/r1
- refs/reviewable/pr749/r2
- refs/reviewable/pr750/r1
- refs/reviewable/pr750/r2
- refs/reviewable/pr752/r1
- refs/reviewable/pr754/r1
- refs/reviewable/pr754/r10
- refs/reviewable/pr754/r11
- refs/reviewable/pr754/r12
- refs/reviewable/pr754/r2
- refs/reviewable/pr754/r3
- refs/reviewable/pr754/r4
- refs/reviewable/pr754/r5
- refs/reviewable/pr754/r6
- refs/reviewable/pr754/r7
- refs/reviewable/pr754/r8
- refs/reviewable/pr754/r9
- refs/reviewable/pr755/r1
- refs/reviewable/pr755/r2
- refs/reviewable/pr761/r1
- refs/reviewable/pr761/r2
- refs/reviewable/pr762/r1
- refs/reviewable/pr763/r1
- refs/reviewable/pr763/r2
- refs/reviewable/pr764/r1
- refs/reviewable/pr764/r2
- refs/reviewable/pr764/r3
- refs/reviewable/pr764/r4
- refs/reviewable/pr764/r5
- refs/reviewable/pr764/r6
- refs/reviewable/pr765/r1
- refs/reviewable/pr767/r1
- refs/reviewable/pr767/r2
- refs/reviewable/pr767/r3
- refs/reviewable/pr769/r1
- refs/reviewable/pr769/r2
- refs/reviewable/pr771/r1
- refs/reviewable/pr771/r2
- refs/reviewable/pr772/r1
- refs/reviewable/pr772/r10
- refs/reviewable/pr772/r11
- refs/reviewable/pr772/r12
- refs/reviewable/pr772/r13
- refs/reviewable/pr772/r14
- refs/reviewable/pr772/r2
- refs/reviewable/pr772/r3
- refs/reviewable/pr772/r4
- refs/reviewable/pr772/r5
- refs/reviewable/pr772/r6
- refs/reviewable/pr772/r7
- refs/reviewable/pr772/r8
- refs/reviewable/pr772/r9
- refs/reviewable/pr774/r1
- refs/reviewable/pr775/r1
- refs/reviewable/pr775/r2
- refs/reviewable/pr777/r1
- refs/reviewable/pr777/r2
- refs/reviewable/pr778/r1
- refs/reviewable/pr778/r2
- refs/reviewable/pr778/r3
- refs/reviewable/pr779/r1
- refs/reviewable/pr781/r1
- refs/reviewable/pr783/r1
- refs/reviewable/pr784/r1
- refs/reviewable/pr784/r10
- refs/reviewable/pr784/r11
- refs/reviewable/pr784/r12
- refs/reviewable/pr784/r13
- refs/reviewable/pr784/r14
- refs/reviewable/pr784/r15
- refs/reviewable/pr784/r16
- refs/reviewable/pr784/r17
- refs/reviewable/pr784/r18
- refs/reviewable/pr784/r19
- refs/reviewable/pr784/r2
- refs/reviewable/pr784/r20
- refs/reviewable/pr784/r21
- refs/reviewable/pr784/r22
- refs/reviewable/pr784/r23
- refs/reviewable/pr784/r24
- refs/reviewable/pr784/r25
- refs/reviewable/pr784/r26
- refs/reviewable/pr784/r27
- refs/reviewable/pr784/r28
- refs/reviewable/pr784/r29
- refs/reviewable/pr784/r3
- refs/reviewable/pr784/r30
- refs/reviewable/pr784/r31
- refs/reviewable/pr784/r32
- refs/reviewable/pr784/r4
- refs/reviewable/pr784/r5
- refs/reviewable/pr784/r6
- refs/reviewable/pr784/r7
- refs/reviewable/pr784/r8
- refs/reviewable/pr784/r9
- refs/reviewable/pr785/r1
- refs/reviewable/pr786/r1
- refs/reviewable/pr787/r1
- refs/reviewable/pr787/r10
- refs/reviewable/pr787/r11
- refs/reviewable/pr787/r12
- refs/reviewable/pr787/r2
- refs/reviewable/pr787/r3
- refs/reviewable/pr787/r4
- refs/reviewable/pr787/r5
- refs/reviewable/pr787/r6
- refs/reviewable/pr787/r7
- refs/reviewable/pr787/r8
- refs/reviewable/pr787/r9
- refs/reviewable/pr788/r1
- refs/reviewable/pr791/r1
- refs/reviewable/pr793/r1
- refs/reviewable/pr794/r1
- refs/reviewable/pr797/r1
- refs/reviewable/pr803/r1
- refs/reviewable/pr803/r2
- refs/reviewable/pr803/r3
- refs/reviewable/pr803/r4
- refs/reviewable/pr803/r5
- refs/reviewable/pr803/r6
- refs/reviewable/pr805/r1
- refs/reviewable/pr808/r1
- refs/reviewable/pr808/r2
- refs/reviewable/pr811/r1
- refs/reviewable/pr811/r2
- refs/reviewable/pr811/r3
- refs/reviewable/pr811/r4
- refs/reviewable/pr811/r5
- refs/reviewable/pr811/r6
- refs/reviewable/pr812/r1
- refs/reviewable/pr812/r2
- refs/reviewable/pr815/r1
- refs/reviewable/pr815/r2
- refs/reviewable/pr815/r3
- refs/reviewable/pr816/r1
- refs/reviewable/pr817/r1
- refs/reviewable/pr817/r2
- refs/reviewable/pr817/r3
- refs/reviewable/pr817/r4
- refs/reviewable/pr819/r1
- refs/reviewable/pr819/r2
- refs/reviewable/pr820/r1
- refs/reviewable/pr821/r1
- refs/reviewable/pr823/r1
- refs/reviewable/pr827/r1
- refs/reviewable/pr827/r2
- refs/reviewable/pr828/r1
- refs/reviewable/pr828/r2
- refs/reviewable/pr828/r3
- refs/reviewable/pr828/r4
- refs/reviewable/pr830/r1
- refs/reviewable/pr831/r1
- refs/reviewable/pr831/r2
- refs/reviewable/pr833/r1
- refs/reviewable/pr835/r1
- refs/reviewable/pr836/r1
- refs/reviewable/pr836/r2
- refs/reviewable/pr837/r1
- refs/reviewable/pr837/r2
- refs/reviewable/pr837/r3
- refs/reviewable/pr837/r4
- refs/reviewable/pr837/r5
- refs/reviewable/pr837/r6
- refs/reviewable/pr838/r1
- refs/reviewable/pr839/r1
- refs/reviewable/pr848/r1
- refs/reviewable/pr848/r2
- refs/reviewable/pr848/r3
- refs/reviewable/pr849/r1
- refs/reviewable/pr849/r2
- refs/reviewable/pr850/r1
- refs/reviewable/pr850/r2
- refs/reviewable/pr850/r3
- Branches list truncated to 1000 entries, 219 were omitted.
No releases to show
Take a new snapshot of a software origin
If the archived software origin currently browsed is not synchronized with its upstream version (for instance when new commits have been issued), you can explicitly request Software Heritage to take a new snapshot of it.
Use the form below to proceed. Once a request has been submitted and accepted, it will be processed as soon as possible. You can then check its processing state by visiting this dedicated page.![swh spinner](/static/img/swh-spinner.gif)
Processing "take a new snapshot" request ...
Permalinks
To reference or cite the objects present in the Software Heritage archive, permalinks based on SoftWare Hash IDentifiers (SWHIDs) must be used.
Select below a type of object currently browsed in order to display its associated SWHID and permalink.
Revision | Author | Date | Message | Commit Date |
---|---|---|---|---|
7cf16ff | Josh Watson | 23 August 2018, 06:50:11 UTC | Convert format strings to literal string interpolation This commit converts most (only a couple of exceptions) of the formatted strings in Manticore to follow PEP-0498, literal string interpolation. | 23 August 2018, 06:50:11 UTC |
38ecc25 | defunct | 22 August 2018, 02:37:17 UTC | Implements support for function overloading in ethereum (#1049) * implements `signature` kwarg for overloaded functions - resolves #810 | 22 August 2018, 02:37:17 UTC |
8247dc6 | ggrieco-tob | 21 August 2018, 19:51:46 UTC | Fix for #1008 (#1063) * Fix for #1008 * add test for funcall output | 21 August 2018, 19:51:46 UTC |
ec28281 | feliam | 17 August 2018, 16:47:44 UTC | evm: aggressively check & migrate expressions into current ConstraintSet in case they are global/external (#1009) * Be mega forgiving on global expression usage - EVM * Refactor new_bitvector api * Fix neW_bool * CC * rename avoid_collisions collision * rename avoid_collisions collision * migrate on state.constraint too.. * Migration bugfixes * CC bugfixes * invalid assert removed * move rep code to method * reviewing the codes * CC * Change variable names * typo * Some mini docstrings and a unittest * Add migration integration testion * Keep fuzz-refactoring it * CC * Bugfixfixfixfix * CC * re refactor mig algorithm * better cleaner stronger. (reviewing) * CC * Small refactor and Fix strange strcmp test. * CC * re re refactor for readability * CC * rev * forgoten var | 17 August 2018, 16:47:44 UTC |
1119814 | defunct | 17 August 2018, 13:34:45 UTC | Serialization cleanup (#1048) * refactor serialization / recursion limit handling | 17 August 2018, 13:34:45 UTC |
5684bdd | defunct | 15 August 2018, 20:49:40 UTC | Code cleanup and coverage (#1035) * dead code elimination, __init__ cleanup * `binary.Elf` bugfix, add `binary` package tests | 15 August 2018, 20:49:40 UTC |
e6833ab | defunct | 15 August 2018, 17:26:08 UTC | Fix missing profiling data (#1057) * fix missing profiling data - resolves #982 * unit test | 15 August 2018, 17:26:08 UTC |
e53b499 | Yan Ivnitskiy | 13 August 2018, 18:41:30 UTC | Add logo to readme (#1046) * add logo to README | 13 August 2018, 18:41:30 UTC |
0ad15c7 | Mark Mossberg | 10 August 2018, 20:07:39 UTC | Manticore 0.2.0 (#1043) * Bump version * Initial changelog changes * Bump version in setup.py * Add skeleton and externals * Fill in 0.2.0 readme * Updates | 10 August 2018, 20:07:39 UTC |
a0c2f76 | defunct | 10 August 2018, 19:28:41 UTC | Port remaining examples to py3 (#1042) * port use_def * port some scripts, cleanup * ported `scripts/gdb.py` - untested * misc | 10 August 2018, 19:28:41 UTC |
399a2ef | Mark Mossberg | 10 August 2018, 19:03:02 UTC | Emphasize new python requirement (#1041) * Emphasize new python requirement * Consistent formatting | 10 August 2018, 19:03:02 UTC |
7b66bec | Dan Guido | 10 August 2018, 17:57:50 UTC | Readme updates (#1037) * add some more heft to the Ethereum section * no longer needed * Integrate requirements into installation * Update README.md * Update README.md * Update README.md * Update README.md * Duplicate commands for docker quick start * Rm --process-dependency-links note, moved into the faq on the wiki * Small tweaks * pedantic formatting | 10 August 2018, 17:57:50 UTC |
9f73308 | Mark Mossberg | 09 August 2018, 22:27:34 UTC | Fix gast (#1039) | 09 August 2018, 22:27:34 UTC |
5710716 | Catena cyber | 09 August 2018, 18:47:57 UTC | Test manticore on MacOS (#1032) * Test manticore on MacOS like test_binaries.py for path to binary to test * MacOS compatibility achieved Replacement of /bin/ls in tests Use of basename in test_load_maps | 09 August 2018, 18:47:57 UTC |
a16c508 | Yan Ivnitskiy | 09 August 2018, 15:27:45 UTC | ignore resource warnings (e.g. unclosed files) (#1038) | 09 August 2018, 15:27:45 UTC |
a266c0b | Dan Guido | 08 August 2018, 22:11:21 UTC | Update README.md | 08 August 2018, 22:11:21 UTC |
682004e | Evan | 08 August 2018, 21:14:17 UTC | readme Ethereum update issue #1003 (#1034) * readme ethereum update issue #1003 * simplify | 08 August 2018, 21:14:17 UTC |
1f74f0f | defunct | 07 August 2018, 23:54:44 UTC | fix sys_write logger output (#1024) * fix sys_write logger output - resolves #1020 * write/writev/read fixes * openat((int32)dirfd, ...) resolves #940, syscall logging * disable E701, interferes with PEP484/526 | 07 August 2018, 23:54:44 UTC |
78e2ddf | defunct | 07 August 2018, 19:17:27 UTC | resolves #992 (#1033) * resolves #992 | 07 August 2018, 19:17:27 UTC |
b0a9ae9 | defunct | 07 August 2018, 14:01:53 UTC | Merge pull request #1028 from trailofbits/binja_cleanup binja cleanup | 07 August 2018, 14:01:53 UTC |
41a3cff | defunct | 06 August 2018, 23:38:05 UTC | missed one | 06 August 2018, 23:38:05 UTC |
635f99b | defunct | 06 August 2018, 22:28:39 UTC | remove stray comment | 06 August 2018, 22:28:39 UTC |
be9d54c | defunct | 06 August 2018, 21:58:25 UTC | review changes | 06 August 2018, 21:58:25 UTC |
6f56dc0 | defunct | 06 August 2018, 21:51:57 UTC | Merge pull request #1030 from trailofbits/bugfix_991 fixes docker - resolves #991 | 06 August 2018, 21:51:57 UTC |
a2a05c0 | defunct | 06 August 2018, 21:04:52 UTC | Merge branch 'master' into binja_cleanup | 06 August 2018, 21:04:52 UTC |
82f6713 | defunct | 06 August 2018, 21:03:04 UTC | Merge pull request #1019 from trailofbits/bugfix_1018 File mode fix - resolves #1018 | 06 August 2018, 21:03:04 UTC |
47d827a | defunct | 06 August 2018, 21:01:57 UTC | Merge pull request #1017 from defunctio/bugfix_1016 Addresses performance issues; | 06 August 2018, 21:01:57 UTC |
5dbb19e | feliam | 06 August 2018, 21:01:41 UTC | Dev yolo retvalthing (#1001) * DAO detector + bugfixes * The actual benchmark tests * The actual benchmark tests * CC * Experiment reporting the finding at a JUMPI * Fix taint. Detect returned overflowded data * DAO -> Reentrancy * DAO -> reentrancy, C -> Benchmark * DAO -> reentrancy, C -> Benchmark * Allow function names to have numbers * Fix contract names in benchmark * Fix contract names in benchmark * Move default plugin registration * Better regexp * Fix minimal_bytecode example * Fix Array Slice and test * add tests * correct other bug * implement bytesM * BROKEN partial progress * need bytearray here * rm cmt * add basic tests for bytesM and bytes symbolic * correct bytes symbolic test * Refactor, clean bytesM handling * Add initial symbolic 'bytes' handling * refactor tests * Unify symbolic/concrete bytes handling in bytesM/bytes * Rm import * Rm debug assert * cc * Visitor/migrate/simplify fixes to make the seth refactor pass * Fix concolic? * Fix concolic? * CC * bytesM fix * Fix address and caller concretization on symb tx * Fix/refactor symbolic address/caller concretization * Fix caller concretization * Fix expression visiting * Fix account policy refactor * Accept numbers in function names abitypes * Simplify installation instructions to recommend install manticore only for the current user * Run some tests in parallel (#970) This PR splits the current test runner into three environments: 1. Linux examples 2. Ethereum tests 3. Remaining tests to faster complete each testing run. Ethereum tests include a number of integration tests that execute scripts to completion, which takes a while. We run them concurrently with other tests to save on execution time. The split is done by naming Ethereum tests differently (`eth_*.py` vs `test_*.py`) and updating what pattern unittest's `discover` uses. This change also updates the installation script and chooses to forego installing Keystone for EVM tests as it takes a while, and it adds a `setup.cfg` config file so that Nose finds the eth tests as well by default. * Be less verbose when testing * Fix slicing wrongly reference to proxyArray. Fix #912 * Only export human/external tx in the testcase (#972) * Make ManticoreEVM.make_symbolic_value size adjustable (#974) * Make size adjustable * Default to 256 * Dev evm yolo fix gas (#975) * Fix gas stipend on CALL and check dao * Add order dependence 1 * Going linter. Report/Detect that thing when code does not check returned value * cleaner example of fail * Update retval_crazy.sol * new solc for travis * CC * Remove duplicated ReentrancyDetector * POrt to py3 * POrt to py3 * P0rt to py3 * CC * Tests doc * CC | 06 August 2018, 21:01:41 UTC |
b41c73a | defunct | 06 August 2018, 20:49:42 UTC | fixes docker - resolves #991 | 06 August 2018, 20:49:42 UTC |
351f6f1 | defunct | 04 August 2018, 00:51:16 UTC | binja cleanup | 06 August 2018, 19:49:20 UTC |
b6275e0 | defunct | 06 August 2018, 17:54:19 UTC | Merge branch 'master' into bugfix_1018 | 06 August 2018, 17:54:19 UTC |
85b94b6 | Catena cyber | 06 August 2018, 17:04:57 UTC | Use capstone 3.0.5 and no longer rc2 (#1026) | 06 August 2018, 17:04:57 UTC |
b58eb6f | Yan Ivnitskiy | 03 August 2018, 21:38:56 UTC | Change how we query for version (#1023) Fixes #1021 This also should decrease how many times we invoke z3. (The instance used to query version should stick around) | 03 August 2018, 21:38:56 UTC |
220e8ae | defunct | 03 August 2018, 20:06:45 UTC | Merge branch 'master' into bugfix_1018 | 03 August 2018, 20:06:45 UTC |
24cb4bd | Mark Mossberg | 03 August 2018, 20:05:54 UTC | Add unit test for 954 (#1022) | 03 August 2018, 20:05:54 UTC |
111a467 | devtty1er | 03 August 2018, 18:40:19 UTC | Fixes closed file serialization (#955) Fixes trailofbits/manticore#954 | 03 August 2018, 18:40:19 UTC |
424cc4e | defunct | 02 August 2018, 22:18:08 UTC | File mode fix - resolves #1018 | 02 August 2018, 22:18:08 UTC |
f977a67 | defunct | 02 August 2018, 19:48:29 UTC | Addresses performance issues; * reimplement caching for `arithmetic_simplifier` and `constant_folder` * optimize `ArithmeticSimplifier.visit_ArraySelect` | 02 August 2018, 19:48:29 UTC |
0d84345 | defunct | 02 August 2018, 14:35:35 UTC | Merge pull request #990 from defunctio/py3-optimization-pass Python 3; optimization / stylization pass | 02 August 2018, 14:35:35 UTC |
08751c5 | defunct | 01 August 2018, 21:23:45 UTC | resolves #1008 (#1014) | 01 August 2018, 21:23:45 UTC |
822cc88 | defunct | 01 August 2018, 21:19:59 UTC | cleanup examples (#1010) | 01 August 2018, 21:19:59 UTC |
90fdbb8 | defunct | 01 August 2018, 14:35:46 UTC | re-enable and fix eth regression 808 (#1011) | 01 August 2018, 14:35:46 UTC |
cfedea7 | Yan Ivnitskiy | 31 July 2018, 18:04:57 UTC | Fix CC coverage (#1007) This fix does two things: 1. Ignores non-manticore files from the coverage report to limit what can fail. 2. Changes how travis runs s3 sync on completion. (Fixes #1006) | 31 July 2018, 18:39:57 UTC |
99f158a | Yan Ivnitskiy | 30 July 2018, 23:36:34 UTC | Report test coverage to CodeClimate (#1004) This PR enables the reporting of test coverage of all the test jobs (`eth` and `tests`) to CodeClimate. This uses S3 to temporarily store results between jobs and later upload them to CC. Fixes #1000 | 31 July 2018, 18:39:57 UTC |
b1a09d2 | Yan Ivnitskiy | 31 July 2018, 18:04:57 UTC | Fix CC coverage (#1007) This fix does two things: 1. Ignores non-manticore files from the coverage report to limit what can fail. 2. Changes how travis runs s3 sync on completion. (Fixes #1006) | 31 July 2018, 18:04:57 UTC |
4e73bc3 | defunct | 31 July 2018, 13:44:03 UTC | codeclimate - bump similar-code thresh; false positive | 31 July 2018, 13:44:03 UTC |
b0e0a1b | defunct | 30 July 2018, 14:19:07 UTC | codeclimate | 31 July 2018, 13:42:28 UTC |
59a5ff0 | Yan Ivnitskiy | 30 July 2018, 23:36:34 UTC | Report test coverage to CodeClimate (#1004) This PR enables the reporting of test coverage of all the test jobs (`eth` and `tests`) to CodeClimate. This uses S3 to temporarily store results between jobs and later upload them to CC. Fixes #1000 | 30 July 2018, 23:36:34 UTC |
c798584 | defunct | 28 July 2018, 02:19:37 UTC | remove/update deprecated | 28 July 2018, 02:19:37 UTC |
e1b6f1a | defunct | 27 July 2018, 23:59:06 UTC | super() | 27 July 2018, 23:59:06 UTC |
7dfcbcd | defunct | 27 July 2018, 23:39:44 UTC | numbers.Integral | 27 July 2018, 23:39:44 UTC |
66d8581 | defunct | 27 July 2018, 23:37:59 UTC | cleanup | 27 July 2018, 23:37:59 UTC |
bff9bfa | defunct | 27 July 2018, 23:27:47 UTC | merge master | 27 July 2018, 23:27:47 UTC |
442ad0b | feliam | 27 July 2018, 22:21:36 UTC | Yolo dev evm fix address concretization (#1002) * DAO detector + bugfixes * The actual benchmark tests * The actual benchmark tests * CC * Experiment reporting the finding at a JUMPI * Fix taint. Detect returned overflowded data * DAO -> Reentrancy * DAO -> reentrancy, C -> Benchmark * DAO -> reentrancy, C -> Benchmark * Allow function names to have numbers * Fix contract names in benchmark * Fix contract names in benchmark * Move default plugin registration * Better regexp * Fix minimal_bytecode example * Fix Array Slice and test * add tests * correct other bug * implement bytesM * BROKEN partial progress * need bytearray here * rm cmt * add basic tests for bytesM and bytes symbolic * correct bytes symbolic test * Refactor, clean bytesM handling * Add initial symbolic 'bytes' handling * refactor tests * Unify symbolic/concrete bytes handling in bytesM/bytes * Rm import * Rm debug assert * cc * Visitor/migrate/simplify fixes to make the seth refactor pass * Fix concolic? * Fix concolic? * CC * bytesM fix * Fix address and caller concretization on symb tx * Fix account policy refactor * CC | 27 July 2018, 22:21:36 UTC |
0b60f9a | ian klatzco | 27 July 2018, 21:32:10 UTC | rm make_evm (#978) | 27 July 2018, 21:32:10 UTC |
f32db4b | feliam | 27 July 2018, 21:31:33 UTC | Experiment reporting the finding at a JUMPI (#949) * Experiment reporting the finding at a JUMPI * Fix taint. Detect returned overflowded data * Fix contract names in benchmark * Move default plugin registration * merge | 27 July 2018, 21:31:33 UTC |
e18016a | defunct | 27 July 2018, 18:12:09 UTC | py3 yolo_master (feature / bugfixes) (#994) * DAO detector + bugfixes * The actual benchmark tests * The actual benchmark tests * CC * Experiment reporting the finding at a JUMPI * Fix taint. Detect returned overflowded data * DAO -> Reentrancy * DAO -> reentrancy, C -> Benchmark * DAO -> reentrancy, C -> Benchmark * Allow function names to have numbers * Fix contract names in benchmark * Fix contract names in benchmark * Move default plugin registration * Better regexp * Fix minimal_bytecode example * Fix Array Slice and test * add tests * correct other bug * implement bytesM * BROKEN partial progress * need bytearray here * rm cmt * add basic tests for bytesM and bytes symbolic * correct bytes symbolic test * Refactor, clean bytesM handling * Add initial symbolic 'bytes' handling * refactor tests * Unify symbolic/concrete bytes handling in bytesM/bytes * Rm import * Rm debug assert * cc * Visitor/migrate/simplify fixes to make the seth refactor pass * Fix concolic? * Fix concolic? * CC * bytesM fix * Fix address and caller concretization on symb tx * Fix/refactor symbolic address/caller concretization * Fix caller concretization * Fix expression visiting * Fix account policy refactor * Accept numbers in function names abitypes * Simplify installation instructions to recommend install manticore only for the current user * Run some tests in parallel (#970) This PR splits the current test runner into three environments: 1. Linux examples 2. Ethereum tests 3. Remaining tests to faster complete each testing run. Ethereum tests include a number of integration tests that execute scripts to completion, which takes a while. We run them concurrently with other tests to save on execution time. The split is done by naming Ethereum tests differently (`eth_*.py` vs `test_*.py`) and updating what pattern unittest's `discover` uses. This change also updates the installation script and chooses to forego installing Keystone for EVM tests as it takes a while, and it adds a `setup.cfg` config file so that Nose finds the eth tests as well by default. * Be less verbose when testing * Fix slicing wrongly reference to proxyArray. Fix #912 * Only export human/external tx in the testcase (#972) * Make ManticoreEVM.make_symbolic_value size adjustable (#974) * Make size adjustable * Default to 256 * Dev evm yolo fix gas (#975) * Fix gas stipend on CALL and check dao * Add order dependence 1 * missing files * 985 * formatting fixes; codeclimate * review changes | 27 July 2018, 18:12:09 UTC |
9122230 | defunct | 25 July 2018, 16:43:38 UTC | Python 3; optimization / stylization pass * cleanup list() from automation tools * style; use dict comprehensions * style; use set literals | 25 July 2018, 16:58:37 UTC |
664e53b | defunct | 25 July 2018, 14:10:44 UTC | Python 3 (#968) * Initial commit for Python3 branch that targets porting the following; * Core manticore functionality * x86/x64/arm architectures * linux platform * functioning unit tests for the above * WIP ethereum support notes: * eth unit tests passing * decree disabled * ManticoreEVM.__init__ procs=1 * no iterpickle; see eth tests for setting stack size/recursion * EVMAccount; add __hash__ remove redefinition of __eq__ port/update EVM examples * update stacksize / recursion limit * pyevmasm dep updates, port linux examples * update docs, tox/travis configs, port missing x86 unit test * disable decree tests * update example, update pyevmasm dep_links * disable testArgumentsAssertions to speed up tests * py35/36 json.loads compat fix * fix summary output encoding * disable eth binary test 808 * PEP479 - Python 3.7 support * travisci; fix code coverage reporting * port decree and tests * codeclimate * review changes; * cleanup * reset version * remove EVMAccount.__hash__, fix EVMWorld.get_balance() * switch to official pyevmasm * z3 version check - py3.5 fix * pyevmasm; remove version requirement * review changes; * remove redundant locking * shutdown executor manager on deletion * review changes; * cleanup PY3FIX comments * _run_solc version ascii to utf encoding * save_summary - use filter instead of comprehension * comments * __get_related - set literal mistake * review changes; * remove redundant [] * cleanup unused code, params, vars, imports * additional comments * review changes; * fix symbolic const instruction decoding and add unit test * misc cleanup * fix verbose logging output * Update manticore defaults / requirements; * Changes docs for 18.04 * Python >= 3.6 * minor review changes * minor review changes, codeclimate | 25 July 2018, 14:10:44 UTC |
61270a2 | Evan Sultanik | 29 June 2018, 20:07:38 UTC | Merge pull request #958 from trailofbits/dev-query-blockhash Moved block hash calculation to EVMWorld and genericized it | 29 June 2018, 20:07:38 UTC |
82487ab | Evan Sultanik | 29 June 2018, 12:15:17 UTC | Fixes to satisfy Code Climate | 29 June 2018, 12:15:17 UTC |
82eb2f1 | Evan Sultanik | 29 June 2018, 12:03:35 UTC | Moved block hash calculation to EVMWorld and genericized it (#957) | 29 June 2018, 12:03:35 UTC |
1ae5059 | Mark Mossberg | 28 June 2018, 21:21:29 UTC | Add some unit tests, rm dead code (#956) * test init * rm dead code * test symbolic argv envp | 28 June 2018, 21:21:29 UTC |
dda1d6d | ggrieco-tob | 27 June 2018, 12:18:36 UTC | Allow function identifiers on smart contract to have numbers on them (#953) | 27 June 2018, 12:18:36 UTC |
24e4688 | James Wang | 26 June 2018, 17:38:36 UTC | Allow users to specify path to solc and solc import remappings (#945) * Allow users to specify path to solc and solc import remappings | 26 June 2018, 17:38:36 UTC |
66afb1f | feliam | 26 June 2018, 01:31:02 UTC | Fix #947 (#948) * Fix #947 * Fixed code climate | 26 June 2018, 01:31:02 UTC |
63ac45c | Mark Mossberg | 22 June 2018, 23:10:41 UTC | Manticore 0.1.10 (#941) * Bump version number * Add changelog skeleton * Add changelog * Add missing detect-all flag * Don't forget --avoid-constant | 22 June 2018, 23:10:41 UTC |
e2f2583 | feliam | 22 June 2018, 23:09:09 UTC | Change EVMAsm offset by pc (#938) * Change offte by pc * EVMASM offset -> pc * Keep refactoreing offset -> pc (evmasm) * The forgotten offset 1 * New format() | 22 June 2018, 23:09:09 UTC |
5c14e47 | feliam | 22 June 2018, 23:08:44 UTC | Better temporary expression handling (#944) * Rearrange Detectors closer to ethereum. Fix Detector reporting for each state. * codeclimate * codeclimate * Move detectors back to __main__. Commandline argument added * Codeclimate * Findings and global_findings for each detectot. Move global findings to its own file on reports * Codeclimate * Better commandline arguments. Better report on failing constructors * Codeclimate. All assertion bench done * Convenience evm stack function. Doc improvements * Explicit reference in ded_evm_execute_instruction * Assembler to solidity line number fixed * Better variable names * CC * CC * Regression tests * Better int overflow detector (expensive) * Added a few more IO reg tests * CC * CC * CC * Fix io tests. Remove dead code. Improve Transaction.set_result * Account names, New ABI, user level constraining, state persistence * merge bugfix * Merge fix fix * fix docstr * Better type checks * Fix minimal.py example * CC and symbolic address * CC * CC * CC * CC * Add bytearray-Array concatenation/ Fix ABI tests * CC * CC * This fixes EVERYTHING! * Fixing truly everything, maybe * Review 1/10 * A few extra ABI serialization tests * Better default arguments for constructor in multitx * CC * CC * Exception EthereumError * review * Improve normal/contract_account filters. Move some ABI stuff to auxiliary funcs(CC) * CC * ABI.serialize smallfixes * Catch parsing exceptions (review) * Add comment to BitVec.cast() * manticore/platforms/evm.py Bugfixes and review * manticore/platforms/evm.py Bugfixes and review * CC * cs.migrate and bette temporary handling * CC * typo * A Bugfix(tm) | 22 June 2018, 23:08:44 UTC |
e0f5bce | feliam | 22 June 2018, 20:58:49 UTC | Account names, ABI, and state persistence... (#926) * Rearrange Detectors closer to ethereum. Fix Detector reporting for each state. * codeclimate * codeclimate * Move detectors back to __main__. Commandline argument added * Codeclimate * Findings and global_findings for each detectot. Move global findings to its own file on reports * Codeclimate * Better commandline arguments. Better report on failing constructors * Codeclimate. All assertion bench done * Convenience evm stack function. Doc improvements * Explicit reference in ded_evm_execute_instruction * Assembler to solidity line number fixed * Better variable names * CC * CC * Regression tests * Better int overflow detector (expensive) * Added a few more IO reg tests * CC * CC * CC * Fix io tests. Remove dead code. Improve Transaction.set_result * Account names, New ABI, user level constraining, state persistence * merge bugfix * Merge fix fix * fix docstr * Better type checks * Fix minimal.py example * CC and symbolic address * CC * CC * CC * CC * Add bytearray-Array concatenation/ Fix ABI tests * CC * CC * This fixes EVERYTHING! * Fixing truly everything, maybe * Review 1/10 * A few extra ABI serialization tests * Better default arguments for constructor in multitx * CC * CC * Exception EthereumError * review * Improve normal/contract_account filters. Move some ABI stuff to auxiliary funcs(CC) * CC * ABI.serialize smallfixes * Catch parsing exceptions (review) * Add comment to BitVec.cast() * manticore/platforms/evm.py Bugfixes and review * manticore/platforms/evm.py Bugfixes and review * CC | 22 June 2018, 20:58:49 UTC |
0e8c9b0 | aditi-gupta | 22 June 2018, 20:26:18 UTC | Improve Ethereum command line flags (#943) | 22 June 2018, 20:26:18 UTC |
55c8654 | feliam | 22 June 2018, 18:48:16 UTC | Remove dead code (#942) | 22 June 2018, 18:48:16 UTC |
dc3bbd4 | Catena cyber | 22 June 2018, 15:34:40 UTC | Inode number is encoded with 64 bits (#897) * Inode number is encoded with 64 bits Fixes #824 * typo fix for interpreter * Use of stat64 linux kernel structure See https://code.woboq.org/linux/linux/include/uapi/asm-generic/stat.h.html | 22 June 2018, 15:34:40 UTC |
d3edfa5 | Catena cyber | 20 June 2018, 21:53:14 UTC | Add UTXH to arm instructions (#935) * Add UTXH to arm instructions with tests | 20 June 2018, 21:53:14 UTC |
ccbf9bc | Catena cyber | 20 June 2018, 21:17:51 UTC | Raspberry hello world (#914) See #514 Adds ARM UQSUB8 instruction | 20 June 2018, 21:17:51 UTC |
e29ee08 | Lee Azzarello | 19 June 2018, 17:40:31 UTC | Dockerfile updates (#882) * Dockerfile updates * no blockchains, no masters * Stylistic README changes * Revert back to manticore user | 19 June 2018, 17:40:31 UTC |
88bf2f6 | feliam | 18 June 2018, 22:58:45 UTC | Fix evm SDIV/SMOD (#933) * Fix #930 evm SDIV/SMOD * Fix ABS :) | 18 June 2018, 22:58:45 UTC |
fbd3865 | feliam | 18 June 2018, 14:17:35 UTC | Fix Taint on Ct Eq (#934) | 18 June 2018, 14:17:35 UTC |
e12b57b | Mark Mossberg | 15 June 2018, 23:32:42 UTC | Make SymbolicFile testcase generation work for closed files (#929) * Track closed files so we can generate concretized SymbolicFile data for closed files * Update test to close file too | 15 June 2018, 23:32:42 UTC |
cca85ef | Mark Mossberg | 15 June 2018, 20:55:33 UTC | Generate symbolic file testcases (#928) * Export concretized symbolic files in testcase * use a warning * add unit test * Rm unnecessary new attr | 15 June 2018, 20:55:33 UTC |
8c5e25f | feliam | 14 June 2018, 20:52:26 UTC | Initial doc to storage evm functions (#915) * Initial doc to storage evm functions * CC * Make evm.world_state private so access is _restricted_ via methods * Add forgotten import for get_storage_items * Minor doc improvements | 14 June 2018, 20:52:26 UTC |
b4b4bb7 | James Wang | 13 June 2018, 17:51:08 UTC | Use p.communicate() to read stdout and stderr (#920) Use communicate() instead of `stdout.read` and `stderr.read`, as they can result in deadlocks. This can occur if manticore tries to compile a solidity contract that has enough errors. | 13 June 2018, 17:51:08 UTC |
e957660 | Mark Mossberg | 12 June 2018, 19:17:46 UTC | Fix test to use correct variable (#925) | 12 June 2018, 19:17:46 UTC |
cf6cd0e | Mark Mossberg | 07 June 2018, 21:45:07 UTC | Fix z3 install regression (#923) * Add back z3 * Rm manual install | 07 June 2018, 21:45:07 UTC |
b184f4e | feliam | 06 June 2018, 18:44:53 UTC | Integer overflow detector improvements (#913) * Rearrange Detectors closer to ethereum. Fix Detector reporting for each state. * codeclimate * codeclimate * Move detectors back to __main__. Commandline argument added * Codeclimate * Findings and global_findings for each detectot. Move global findings to its own file on reports * Codeclimate * Better commandline arguments. Better report on failing constructors * Codeclimate. All assertion bench done * Convenience evm stack function. Doc improvements * Explicit reference in ded_evm_execute_instruction * Assembler to solidity line number fixed * Better variable names * CC * CC * Regression tests * Better int overflow detector (expensive) * Added a few more IO reg tests * CC * CC * CC * Fix io tests. Remove dead code. Improve Transaction.set_result * CC * Fix wrong merge * relax bench test * Remove Remove * Reviewed | 06 June 2018, 18:44:53 UTC |
adf010e | feliam | 06 June 2018, 13:04:18 UTC | Add regression test for posCAll bug (#918) | 06 June 2018, 13:04:18 UTC |
49478b1 | Pierre Pronchery | 05 June 2018, 23:34:24 UTC | Add support for NetBSD as a host OS (#893) With these changes, I am able to run Manticore on Linux (static) binaries from a NetBSD host. Tested with NetBSD/amd64 (7.1_STABLE XEN3_DOM0). | 05 June 2018, 23:34:24 UTC |
21c1ea5 | feliam | 05 June 2018, 15:05:35 UTC | Fix pos CALL/DELEGATECALL/STATICCALL/CALLCODE (#917) * Fix pos CALL/DELEGATECALL/STATICCALL/CALLCODE * CC | 05 June 2018, 15:05:35 UTC |
5d7c7f1 | feliam | 04 June 2018, 23:02:53 UTC | Dev evm INVALID detector (#910) * Rearrange Detectors closer to ethereum. Fix Detector reporting for each state. * codeclimate * codeclimate * Move detectors back to __main__. Commandline argument added * Codeclimate * Findings and global_findings for each detectot. Move global findings to its own file on reports * Codeclimate * Better commandline arguments. Better report on failing constructors * Codeclimate. All assertion bench done * Convenience evm stack function. Doc improvements * Explicit reference in ded_evm_execute_instruction * Assembler to solidity line number fixed * Better variable names * CC * CC * Regression tests * CC * Reviewed | 04 June 2018, 23:02:53 UTC |
1fcb249 | Paul Kehrer | 04 June 2018, 14:52:04 UTC | incremental py3: print statements, octals, and more (#908) * incremental py3: automated conversion work print statements, octal literals, and various small changes to support identical calling between py2 and py3. Plus a few missed exception syntax, etc. * more print function imports, fix a syntax issue * revert an import change for the moment * different absolute import | 04 June 2018, 14:52:04 UTC |
7203958 | Paul Kehrer | 01 June 2018, 18:35:31 UTC | Incremental Linting (#911) * flake * start removing * imports wildcard imports make it so we can't easily reason about what is available in scope and limit the utility of linting tools * a wide variety of pep8 related changes Also adds a tox.ini entry for flake8 experimentation right now. * fixes | 01 June 2018, 18:35:31 UTC |
0589437 | Paul Kehrer | 30 May 2018, 15:06:06 UTC | absolute imports (#907) | 30 May 2018, 15:06:06 UTC |
78df0e9 | Paul Kehrer | 30 May 2018, 13:42:04 UTC | install z3-solver in our install script so it's available (#906) | 30 May 2018, 13:42:04 UTC |
69c9d9b | Paul Kehrer | 30 May 2018, 13:38:42 UTC | py3 incremental: remove long literals (#905) * py3 incremental: remove long literals * install z3-solver in our install script so it's available | 30 May 2018, 13:38:42 UTC |
2d2ba90 | Paul Kehrer | 30 May 2018, 03:16:59 UTC | switch the exception syntax to py3 compatible (#904) | 30 May 2018, 03:16:59 UTC |
c29c3cc | feliam | 25 May 2018, 23:22:49 UTC | [WIP] Large EVM refactor (#843) * Array value configurable. 8,16,32..256 bits (not prefixed to 8) * Test Array256->256 * Remove old 8 bit assumptions * Add arrayProxy copy constructors and remove old 8 bit assumptions * remove old 8 bit assumptions * remove old 8 bit assumptions * Better ArrayProxy special case handling * WiP-research Use raw no-optimized smtlib generic arrays as memory and storage * remove pdebug print: * Fix tests * Review fixes * review fix * fix gas variable * Review fixes * git hell * fix asm_to_smtlib * Fix vm.gas access * getvalue hack * Improve internal API * solver.can_be_true(cs, True) must check that cs is feasible * Simpler callstack code * Fix merge and tests * Fix copy.copy * Move state ids to private * New internal add_transaction api * Fix tx.return_data * Remove comments * Do not rely on .last_exception * Fix evm tests * peping * peping * Peping +test fixes * Peping +test fixes * Peping +test fixes * Fix endTx pop vm * Improve speed and simplifications. Remove internal_transaction mess * Change test_eth.EthTests test a bit * Fix some tests and CALLDATALOAD * Add CALLCODE and reachability test frame * Fix calldataload, msize. Add reachability test frame * Fixlog * Clean reachability test * Fixe CODECOPY concrete * Some style sdded * peping * Remove origin and price from EVM as it can be retrieved from human tx * Added current_human_transaction and last_human_transaction * peping * Refactor tests * Increased argument count allowed CC * Initial automatic library loading (no toposort) * pep8 * Accepts any number of libaries on any ordering * pep8 and relaxed codeclimate * Simple library test * merge libraries in * Solve https://capturetheether.com/challenges/math/mapping/ * Remove debug print * More robust path creation for test files * DELEGATECALL support * generate testcases only at finalize() * Add functools32 as dependency for lru in py2 * Manticore Library PoC * Favor bytearray * Favor bytearray * config * Fix concolic and sha3 arraybyte-> str * Fix concolic * Fix typo * remove absolute path from tests so it fits in link placeholders * Shrink path spec for solc * Hopefuly Fix solc invocation bug * FFFFFFFFFIIIIIIIIIIIIX ITTTTTTTTTTTTTTT * Better performance on visitors cache, and new ArraySlice * better os joining, evm library link, and tx based events * Fitering solidity functions plugin * add itereator capabilities to ConstarintSet * Some solver functions exported to state * bye bye metaclass dynamic check * extra simplification * Improved symbolic gas and other bugfixes * Better visit_BitVecExtract * Default initial timestamp and block number * 99 typos * Re-enable account.named_func() trick * typo * Better stronger * Added default symbolic arguments to constructor.. * Remove constant marked functions from multi_tx * Add default 16G memory cap to z3 * concretized_args now supports concretizing address arguments to all possible accounts * Fix coverage calc * reset fails sometimes * PEP8 ROA (#900) * pep8 formatting * Code Climate updates * cyclocomplexity-- * Refunds moved from the instruction to the the exeption catching * merge * merge * accept both bytearray and str * doc * blockhash changed and returns a symbolic value now, so these tests are wrong * A bugfix * pep8/complexity updates * remove more questionable tests same thing as with the blockhash thing. we're doing things a little more symbolically now so comparing to concrete will not work * Accomodate our chubby State class * Keep moving the refunds * Disble reachability test for now * Remove double declaring log for now * Fix coverage calculation was prev creating a generator, which you can't do `in` on?? * require 1 tx for int overflow test * Fix path tests * Remove debug print in tests * Only enable gas when necessary * codeclimate fixes * Fix concretize_args * only 1 tx * Disable max/min support in solver | 25 May 2018, 23:22:49 UTC |
f73fc40 | Matias Bordese | 25 May 2018, 17:58:18 UTC | Install capstone from next branch, optional via pip --process-dependency-links. (#896) * Install capstone from next branch, optional when passing --process-dependency-links to pip. * Alter readme wording | 25 May 2018, 17:58:18 UTC |
b9af9bf | Kirwan | 25 May 2018, 14:35:24 UTC | Fixed variable name typo. Issue #898. (#899) | 25 May 2018, 14:35:24 UTC |
b5d9d1d | Pierre Pronchery | 18 May 2018, 22:01:09 UTC | Khorben/479 assert brk (#890) * Remove assertion on brk() Manticore assumed that new calls to brk(2) were always increasing the size of the data segment. This is not always true, since programs may decide to reduce it as well. Tested with a static Linux/i386 program on macOS/amd64. * Minor optimization Only compute perms if actually needed. * Avoid creating memory mappings with a negative size This should completely fix #479 this time. * Update sys_brk() implementation * Add regression tests for brk * Added brk test binary src | 18 May 2018, 22:01:09 UTC |
68c4716 | feliam | 18 May 2018, 21:14:34 UTC | Remove solidity in minimal.py example (#895) * Remove all needs for solidity in minimal.py example * Separate evm only minimal example | 18 May 2018, 21:14:34 UTC |