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 |
---|---|---|---|---|
9607a17 | William Woodruff | 23 May 2019, 07:32:26 UTC | tests: Swap assertions | 23 May 2019, 07:32:26 UTC |
dbb9468 | William Woodruff | 23 May 2019, 07:09:43 UTC | tests: Fix movhps shellcode Was using qword and not qword ptr. | 23 May 2019, 07:09:43 UTC |
7225348 | William Woodruff | 22 May 2019, 20:41:42 UTC | tests: Remove relative import Works locally, fails on CI. | 22 May 2019, 20:41:42 UTC |
51f62d4 | William Woodruff | 22 May 2019, 20:13:17 UTC | tests: Fix tests | 22 May 2019, 20:13:17 UTC |
152da00 | William Woodruff | 22 May 2019, 19:16:55 UTC | tests: Add movhps tests | 22 May 2019, 19:17:40 UTC |
04839db | William Woodruff | 22 May 2019, 17:18:12 UTC | Update manticore/native/cpu/x86.py Co-Authored-By: Eric Hennenfent <ecapstone@gmail.com> | 22 May 2019, 17:18:12 UTC |
757a6c6 | William Woodruff | 22 May 2019, 14:39:45 UTC | x86: MOVHPS support Closes #1432. | 22 May 2019, 14:39:45 UTC |
39a23a5 | feliam | 21 May 2019, 22:07:47 UTC | Symbolic tests rf otf (#1441) * Add assertions to auto test gen * Add symbolic tests * Make calldata symbolic * EVM: Support exp aka pow (#1361) * EVM: Add support for EXP with concrete/solvable exponent Adds support for EXP aka POW, with concrete or solvable exponent, fixing https://github.com/trailofbits/manticore/issues/1005 effectively. Not sure if we can do it any better - it seems z3 doesn't have exp/pow for bitvectors. * Update operators.py * Update evm.py * Use concretized_args * Move Operators.POW to EVM._exp * Extend travis wait for output to 30m * Extend travis build to 60m... * Fix Operators.ITE -> Operators.ITEBV * Split ethereum travis job to two jobs * EVM.EXP: concretize base=SAMPLED * Fix concrete tests: use to_constant * Fix set storage in concrete tests * Split ethereum_vm tests into concrete and symbolic * Fix travis tests * Split symbolic tests into two jobs * Split VMTests even more * More tests split * [WIP][WIP][WIP] Moving executor functionality to ManticoreBase and refactor concurrency shared data * Workspace locks * Concurrency flavor configurable from commandline * Asserts and refactorrrrrrrs * Remove unused callback * Some CC * Some CC * Some CC * Fix solver vs Z3Solver * Make solver a singleton based on tid/pid. REfactor m._save. Fix some tests * typo and evm bugfix * Fix some tests referecing global solver * Fix concolic tests and more global solver refs * Fix tests * CC fixes * Fix tests. Fix testcase id generation * Move profiling to a plugin and fix tests * Add solver intance ref to mem test * Fix mem workspace tests * Fix output checking tests * Fix z3solver ref * Relax verbosity/log tests * Moved Workers to its own file * Relax output tests * Relax output tests * Fix profiling test * Fix more tests * Default multiprocessing * Try to clean mcore __del__ * Change Worker life span * Fix Single mode * CC * revert verbosity travis * CC and solver ref fix * Relax ouput checking tests and some bugfixes * running -> ready * Fixing teeests * add weak cache to _load * del debug prints * Adding config.py support for Enums * Try/Remove generate_testcase event as it never occurs online. Fix tests * Fix CC * Kill the cache when start/stop run. Remove debugprints. clean tests * Fix travis test _other_ * Fix native tests and timeout * Fix state.must_be_true * fix CC * Changing fstat tets...: ~' * LLLLLLLLinux tests * Skip unicorn concrete test for now * Try fix CodeClimate * Try fix CodeClimate * Update evm examples to newest solidity * Complete transformation of consts.mprocessing to enum * Add blank line (codeclimate) * Using the enum instead of the string * Using the enum instead of the string * Merge and fix * CC and debug print * Move fee consumption to checkpoint so it is not done twice. Fix frontier test generator * Fix Job Count (and force travis rebuild) ``` 0.02s$ ./cc-test-reporter sum-coverage --output - --parts $JOB_COUNT coverage/codeclimate.*.json | ./cc-test-reporter upload-coverage --input - Error: expected 3 parts, received 4 parts ``` * Add tx number to testcase log * Attempt to do vmtests on the fly * Del test verbosity * Update .travis.yml Co-Authored-By: Eric Hennenfent <ecapstone@gmail.com> | 21 May 2019, 22:07:47 UTC |
43b9a0c | Eric Kilmer | 21 May 2019, 20:49:45 UTC | Unicorn dependency update (#1440) As noted, we should roll this back whenever Unicorn pushes to PyPi * Remove write to Unicorn x86 FS register In latest version of unicorn (778171fc9546c1fc3d1341ff1151eab379848ea0) a write to FS will cause segfault or hang if we try to write to it. Issue #1434 * Update unicorn dependency to latest commit on master Latest Unicorn master commit is 778171fc9546c1fc3d1341ff1151eab379848ea0 Issue #1434 | 21 May 2019, 20:49:45 UTC |
91bb222 | Nikita Karetnikov | 17 May 2019, 21:51:48 UTC | aarch64: do not use the 'procs' argument (#1439) | 17 May 2019, 21:51:48 UTC |
00d551d | feliam | 17 May 2019, 21:49:26 UTC | Symbolic tests rf (#1431) * Add assertions to auto test gen * Add symbolic tests * Make calldata symbolic * EVM: Support exp aka pow (#1361) * EVM: Add support for EXP with concrete/solvable exponent Adds support for EXP aka POW, with concrete or solvable exponent, fixing https://github.com/trailofbits/manticore/issues/1005 effectively. Not sure if we can do it any better - it seems z3 doesn't have exp/pow for bitvectors. * Update operators.py * Update evm.py * Use concretized_args * Move Operators.POW to EVM._exp * Extend travis wait for output to 30m * Extend travis build to 60m... * Fix Operators.ITE -> Operators.ITEBV * Split ethereum travis job to two jobs * EVM.EXP: concretize base=SAMPLED * Fix concrete tests: use to_constant * Fix set storage in concrete tests * Split ethereum_vm tests into concrete and symbolic * Fix travis tests * Split symbolic tests into two jobs * Split VMTests even more * More tests split * [WIP][WIP][WIP] Moving executor functionality to ManticoreBase and refactor concurrency shared data * Workspace locks * Concurrency flavor configurable from commandline * Asserts and refactorrrrrrrs * Remove unused callback * Some CC * Some CC * Some CC * Fix solver vs Z3Solver * Make solver a singleton based on tid/pid. REfactor m._save. Fix some tests * typo and evm bugfix * Fix some tests referecing global solver * Fix concolic tests and more global solver refs * Fix tests * CC fixes * Fix tests. Fix testcase id generation * Move profiling to a plugin and fix tests * Add solver intance ref to mem test * Fix mem workspace tests * Fix output checking tests * Fix z3solver ref * Relax verbosity/log tests * Moved Workers to its own file * Relax output tests * Relax output tests * Fix profiling test * Fix more tests * Default multiprocessing * Try to clean mcore __del__ * Change Worker life span * Fix Single mode * CC * revert verbosity travis * CC and solver ref fix * Relax ouput checking tests and some bugfixes * running -> ready * Fixing teeests * add weak cache to _load * del debug prints * Adding config.py support for Enums * Try/Remove generate_testcase event as it never occurs online. Fix tests * Fix CC * Kill the cache when start/stop run. Remove debugprints. clean tests * Fix travis test _other_ * Fix native tests and timeout * Fix state.must_be_true * fix CC * Changing fstat tets...: ~' * LLLLLLLLinux tests * Skip unicorn concrete test for now * Try fix CodeClimate * Try fix CodeClimate * Update evm examples to newest solidity * Complete transformation of consts.mprocessing to enum * Add blank line (codeclimate) * Using the enum instead of the string * Using the enum instead of the string * Merge and fix * CC and debug print * Move fee consumption to checkpoint so it is not done twice. Fix frontier test generator * Fix Job Count (and force travis rebuild) ``` 0.02s$ ./cc-test-reporter sum-coverage --output - --parts $JOB_COUNT coverage/codeclimate.*.json | ./cc-test-reporter upload-coverage --input - Error: expected 3 parts, received 4 parts ``` * Add tx number to testcase log * Del test verbosity | 17 May 2019, 21:49:26 UTC |
65b7314 | Nikita Karetnikov | 16 May 2019, 19:46:52 UTC | AArch64: fix ldrb size (#1433) * aarch64: test strb followed by ldrb (immediate) * aarch64: use the right size in '_ldr_str_immediate' Discovered due to 'ldrb w11, [x9]' failing in symbolic mode. | 16 May 2019, 19:46:52 UTC |
37aeae8 | Eric Hennenfent | 16 May 2019, 19:45:32 UTC | System Call Audit (#1384) * Move unimplemented syscall logging to decorator Adds [wrapt module](https://wrapt.readthedocs.io/en/latest/) from pypi * Move unimplemented calls further down * Add stubs for unimplemented system calls * Move most stubs back to stub file A few have been left in linux.py because they're necessary for other projects * Codeclimate * Fix discrepancies in syscall ABI * Removed extraneous void argument for getpid and gettid * Added missing sigsetsize parameter for rt_sigaction * Removed incorrect 'flags' parameter on accept (should be on accept4 * Fixed 'SocketDesc' has no attribute 'close' error * (Partially) Fixed duplicate constraint error with socket file descriptors * Add gettimeofday and directory handling * Hacky pipe implementation Pretend that sockets are pipes and pipes are sockets * Better support for MSR writing * Default to success on directory operations * Codeclimate * More verbose unimplemented syscall printing * Fix line overrun before CC calls me out * Add ftruncate support * Add link, unlink, and nanosleep * Add getdents * Add tests for mkdir and time functions * Fix codeclimate and force rebuild * Add pre and post hooks for syscalls * Fix lingering single quotes * Handle dumb invocations * Type-o * Make emulator follow logging behavior * CC * Fix pipe tests * Fix shadowed name * Add test for ftruncate * Add link tests * Add chmod test * Rewrite docstrings Best not to risk licensing issues * Replace with simple returns * Strip out unique implementations Should bring the line count down a bit * Check that unimplemented syscalls exhibit the proper behavior * Fix missing keyword 'solver' * Pass initial states to will_run callback * Restore debug printouts after run * Fix existing `init` calls * Restore old exception behavior * Move save_run_data to manticore native * CC * Refactor finalization call * Fix save_run_data I think it makes sense now * Adjust expected output line counts * CC [ci skip] * Rename terminate state on exception to kill state There's gotta be a better pun about 'overthrowing the state' in there somewhere * Move time started to manticore_native | 16 May 2019, 19:45:32 UTC |
a527e81 | feliam | 09 May 2019, 23:35:13 UTC | ManticoreBase refactor (#1385) * [WIP][WIP][WIP] Moving executor functionality to ManticoreBase and refactor concurrency shared data * Workspace locks * Concurrency flavor configurable from commandline * Asserts and refactorrrrrrrs * Remove unused callback * Some CC * Some CC * Some CC * Fix solver vs Z3Solver * Make solver a singleton based on tid/pid. REfactor m._save. Fix some tests * typo and evm bugfix * Fix some tests referecing global solver * Fix concolic tests and more global solver refs * Fix tests * CC fixes * Fix tests. Fix testcase id generation * Move profiling to a plugin and fix tests * Add solver intance ref to mem test * Fix mem workspace tests * Fix output checking tests * Fix z3solver ref * Relax verbosity/log tests * Moved Workers to its own file * Relax output tests * Relax output tests * Fix profiling test * merge * Fix more tests * Default multiprocessing * Try to clean mcore __del__ * Change Worker life span * Fix Single mode * CC * Merge branch 'master' into dev-executor-refactor * revert verbosity travis * CC and solver ref fix * Relax ouput checking tests and some bugfixes * running -> ready * Fixing teeests * add weak cache to _load * del debug prints * Adding config.py support for Enums * Try/Remove generate_testcase event as it never occurs online. Fix tests * Fix CC * Kill the cache when start/stop run. Remove debugprints. clean tests * Fix travis test _other_ * Fix native tests and timeout * Fix state.must_be_true * fix CC * Merge and fix more tests * Changing fstat tets...: ~' * LLLLLLLLinux tests * Skip unicorn concrete test for now * Try fix CodeClimate * Try fix CodeClimate * Update evm examples to newest solidity * Complete transformation of consts.mprocessing to enum * Add blank line (codeclimate) * Using the enum instead of the string * Merge branch 'dev-executor-refactor' of github.com:trailofbits/manticore into dev-executor-refactor * Using the enum instead of the string * Merge branch 'master' into dev-executor-refactor * Fix solver instance reference | 09 May 2019, 23:35:13 UTC |
df072fb | Eric Hennenfent | 06 May 2019, 18:19:44 UTC | Add missing checks for ARM boundaries (#1429) Previously only supported ARM64 and x86. Now adds support for ARMv7 | 06 May 2019, 18:19:44 UTC |
5f37fb6 | Eric Hennenfent | 30 April 2019, 22:26:33 UTC | Merge pull request #1424 from trailofbits/merge-aarch64 Final AArch64 Merge (unsquashed) | 30 April 2019, 22:26:33 UTC |
a6b2f51 | Nikita Karetnikov | 30 April 2019, 20:08:36 UTC | aarch64: add instruction tests: T-U (#1423) * aarch64: add instruction tests: A-B * aarch64: add instruction tests: C-L * aarch64: add instruction tests: M-S * aarch64: add instruction tests: T-U * fixup: do not use relative imports Otherwise, 'scripts/travis_test.sh' fails to work. * fixup: remove x86-specific code from '_reg_name' * review: rename the file * review: avoid wildcard imports * Revert "fixup: remove x86-specific code from '_reg_name'" * fixup: support ARM64 in '_reg_name' | 30 April 2019, 20:08:36 UTC |
50340c9 | Nikita Karetnikov | 30 April 2019, 20:07:29 UTC | aarch64: add instruction tests: M-S (#1422) * aarch64: add instruction tests: A-B * aarch64: add instruction tests: C-L * aarch64: add instruction tests: M-S * fixup: do not use relative imports Otherwise, 'scripts/travis_test.sh' fails to work. * fixup: remove x86-specific code from '_reg_name' * review: rename the file * review: avoid wildcard imports * Revert "fixup: remove x86-specific code from '_reg_name'" * fixup: support ARM64 in '_reg_name' | 30 April 2019, 20:07:29 UTC |
4c406b1 | Nikita Karetnikov | 30 April 2019, 20:05:56 UTC | aarch64: add instruction tests: C-L (#1421) * aarch64: add instruction tests: A-B * aarch64: add instruction tests: C-L * fixup: do not use relative imports Otherwise, 'scripts/travis_test.sh' fails to work. * fixup: remove x86-specific code from '_reg_name' * review: rename the file * review: avoid wildcard imports * Revert "fixup: remove x86-specific code from '_reg_name'" * fixup: support ARM64 in '_reg_name' | 30 April 2019, 20:05:56 UTC |
dd6e565 | Nikita Karetnikov | 30 April 2019, 20:03:04 UTC | aarch64: add instruction tests: A-B (#1420) * aarch64: add everything except instructions Based on disconnect3d/aarch64/skeleton. * aarch64: add instructions * aarch64: add instruction tests: A-B * fixup: do not use relative imports Otherwise, 'scripts/travis_test.sh' fails to work. * fixup: remove x86-specific code from '_reg_name' * review: rename the file * review: avoid wildcard imports * Revert "fixup: remove x86-specific code from '_reg_name'" * fixup: support ARM64 in '_reg_name' | 30 April 2019, 20:03:04 UTC |
b590c41 | Eric Hennenfent | 30 April 2019, 20:02:31 UTC | Fix conflicts | 30 April 2019, 20:02:31 UTC |
ff4d419 | Eric Hennenfent | 30 April 2019, 20:01:14 UTC | merge into merge-aarch64 | 30 April 2019, 20:01:14 UTC |
04a1cd3 | Nikita Karetnikov | 30 April 2019, 19:57:41 UTC | aarch64: add everything except instructions (#1418) * aarch64: add everything except instructions Based on disconnect3d/aarch64/skeleton. * fixup: do not use relative imports Otherwise, 'scripts/travis_test.sh' fails to work. * fixup: remove x86-specific code from '_reg_name' * review: rename the file * review: avoid wildcard imports * Revert "fixup: remove x86-specific code from '_reg_name'" * fixup: support ARM64 in '_reg_name' | 30 April 2019, 19:57:41 UTC |
a01593f | Nikita Karetnikov | 30 April 2019, 17:01:59 UTC | fixup: support ARM64 in '_reg_name' | 30 April 2019, 17:21:41 UTC |
f6db31c | Nikita Karetnikov | 30 April 2019, 16:59:49 UTC | Revert "fixup: remove x86-specific code from '_reg_name'" | 30 April 2019, 17:21:41 UTC |
e33f165 | Nikita Karetnikov | 30 April 2019, 12:22:05 UTC | review: avoid wildcard imports | 30 April 2019, 13:11:32 UTC |
8769389 | Nikita Karetnikov | 30 April 2019, 09:11:57 UTC | review: rename the file | 30 April 2019, 13:11:32 UTC |
b5dcbb7 | Nikita Karetnikov | 30 April 2019, 10:02:13 UTC | fixup: remove x86-specific code from '_reg_name' | 30 April 2019, 11:52:10 UTC |
ab70743 | Nikita Karetnikov | 29 April 2019, 12:53:09 UTC | fixup: do not use relative imports Otherwise, 'scripts/travis_test.sh' fails to work. | 29 April 2019, 12:57:37 UTC |
54c5a15 | feliam | 29 April 2019, 12:37:24 UTC | Generates a more sensible symbolic default for constructor arguments (#1414) * Fix #1412 * Add basic test * CC | 29 April 2019, 12:37:24 UTC |
229d2d6 | Nikita Karetnikov | 29 April 2019, 09:05:34 UTC | aarch64: add instructions | 29 April 2019, 10:46:14 UTC |
0002b20 | Nikita Karetnikov | 29 April 2019, 06:52:47 UTC | aarch64: add everything except instructions Based on disconnect3d/aarch64/skeleton. | 29 April 2019, 10:45:32 UTC |
2a1c341 | Eric Hennenfent | 25 April 2019, 22:58:17 UTC | Switches the Travis-CI badge from .org to .com (#1416) | 25 April 2019, 22:58:17 UTC |
4d5d5b8 | Catena cyber | 25 April 2019, 22:57:57 UTC | Performance optimization : use set instead of list (#1415) Better average performance for `ìn` operation : O(1) instead of O(n) | 25 April 2019, 22:57:57 UTC |
22cdf85 | Eric Hennenfent | 24 April 2019, 00:42:02 UTC | Fix DECREE Magic Pages (#1413) Travis is almost done and the relevant parts have passed | 24 April 2019, 00:42:02 UTC |
aadd7a0 | Alan | 22 April 2019, 21:15:19 UTC | Migrate sandshrew concolic executor as Manticore script (#1396) * Add consolidated sandshrew concolic testing script * Migrate repository content into one-file script * Reorganize for code style consistency * Optimizations to sandshrew script * Add sandshrew example test cases * Move test cases over from standalone repo * Add Makefile * Add sandshrew documentation files | 22 April 2019, 21:15:19 UTC |
9c9b619 | Eric Hennenfent | 19 April 2019, 21:18:14 UTC | Fix Travis Coverage (#1409) * Fix JOB_COUNT env var That took way longer than it should have to figure out * Fix incorrect comment Whoops... | 19 April 2019, 21:18:14 UTC |
3fc2faa | Eric Hennenfent | 19 April 2019, 18:37:08 UTC | Fix CodeClimate Master (#1408) Fixes a few CC bugs that made it into master, and marks the "too many functions" issues that we always ignore as wontfix. Travis is green so I'm just going to merge this. | 19 April 2019, 18:37:08 UTC |
efdac08 | Mark Mossberg | 18 April 2019, 17:59:28 UTC | Remove all broad excepts (#1405) | 18 April 2019, 17:59:28 UTC |
220b949 | Logan Campos | 17 April 2019, 09:53:01 UTC | PEP-257: Change docstrings using single quotes to double quotes (#1401) * PEP-257: change docustrings using single quotes to double quotes Signed-off-by: binaryflesh <logan.campos123@gmail.com> * fix pseudocode in docstring Signed-off-by: binaryflesh <logan.campos123@gmail.com> | 17 April 2019, 09:53:01 UTC |
d0a5ec2 | Logan Campos | 17 April 2019, 09:49:43 UTC | Add bash syntax highlighting to shell examples in README (#1402) Signed-off-by: binaryflesh <logan.campos123@gmail.com> | 17 April 2019, 09:49:43 UTC |
67c1d66 | Gustavo Grieco | 04 April 2019, 00:27:08 UTC | Update README.md (#1397) | 04 April 2019, 00:27:08 UTC |
913c258 | Evan Sultanik | 28 March 2019, 20:23:50 UTC | Concretize `pc` if possible to resolve issue #1394 (#1395) | 28 March 2019, 20:23:50 UTC |
a1f8fb3 | Eric Kilmer | 26 March 2019, 15:14:25 UTC | Fix logic for solc relative path (#1393) This allows solc-select (which runs in docker) to correctly access the relative path of a sol file. | 26 March 2019, 15:14:25 UTC |
f4582b3 | Catena cyber | 26 March 2019, 15:14:02 UTC | Only publish events when there is one subscriber (#1388) * Only publish events when there is one subscriber Performance optimization * Move sub_events to init. * Revert "Move sub_events to init." This reverts commit 0859a630203edaa7b7d2bd63fdb676a6bdb5f84a. * Update event.py | 26 March 2019, 15:14:02 UTC |
d3e4c0f | feliam | 25 March 2019, 13:39:23 UTC | Fix #1391 (#1392) | 25 March 2019, 13:39:23 UTC |
d287024 | Eric Hennenfent | 18 March 2019, 22:09:42 UTC | Release 0.2.5 (#1390) Travis passed in a previous build so we won't bother re-running it for changes to documentation. | 18 March 2019, 22:09:42 UTC |
3a460d5 | feliam | 18 March 2019, 18:50:56 UTC | Load truffle json artifacts (#1376) * WIP load truffle json artifacts * No 'signature' * Better truffle -artifact support * CC * Add basic test for truffle artifacs and update solidity linking * Missing data file for truffle test * CC * Add full fledged example for truffle json * Clean argument dosc for truffle * Update manticore/ethereum/manticore.py Co-Authored-By: feliam <felipe.andres.manzano@gmail.com> * Update manticore/ethereum/manticore.py Necessary for 9a93cc5 * Add check for byte type and fix f string * New lib linking bugfix * Ability to pass constructor arguments to a Truffle JSON contract (#1376) * Added sampling capabilities to RETURN.size * Update manticore/ethereum/manticore.py Co-Authored-By: feliam <felipe.andres.manzano@gmail.com> * Update manticore/ethereum/manticore.py Co-Authored-By: feliam <felipe.andres.manzano@gmail.com> | 18 March 2019, 18:50:56 UTC |
4d0cfd4 | feliam | 14 March 2019, 23:49:29 UTC | Better doc for solc fails (#1386) * Better solc invocation failing doc * Better solc invocation failing doc * Update manticore/ethereum/manticore.py Co-Authored-By: feliam <felipe.andres.manzano@gmail.com> | 14 March 2019, 23:49:29 UTC |
9097916 | Evan Sultanik | 14 March 2019, 11:56:23 UTC | More informative errors for unimplemented EVM features (#1387) * Report the transaction type that is not yet supported * Added a more informative error about the `STATICCALL` opcode (#1168) * Reminder for when #1168 is addressed | 14 March 2019, 11:56:23 UTC |
10707f6 | Disconnect3d | 06 March 2019, 19:48:43 UTC | Fix #1380 - add parsetab to repo (#1383) * Fix #1380 - add parsetab to repo * Ignore parsetab in codeclimate We don't need to check autogenerated files since they shouldn't be modified by humans anyway * Yaml paths are top-level | 06 March 2019, 19:48:43 UTC |
71b8d2b | William Woodruff | 27 February 2019, 00:47:55 UTC | examples/linux: Refactor, fix crackme.py (#1378) * examples/linux: Refactor crackme.py * Dockerfile: Re-add LANG environment variable See: #1300 See: #1137 | 27 February 2019, 00:47:55 UTC |
bc77660 | Eric Hennenfent | 26 February 2019, 19:28:22 UTC | Unicorn Preload (#1356) Modifies the Unicorn emulator module to allow it to be used for "preloading" large binaries. It uses Unicorn to execute x64 instructions in bulk while Manticore handles IO and syscalls. State changes are aggressively written from Manticore back to Unicorn, and lazily written from Unicorn to Manticore before a syscall. Can be used to concretely execute entire binaries, but should not be used once symbolic data has been introduced. The following script demonstrates this. The user can register a plugin at startup that tells Manticore to use Unicorn to quickly execute the initialization instructions leading up to the start of `main`. The binary in question is [`multiple-styles`](https://gist.github.com/ehennenfent/a5ad9746615d1490c618a88b98769c10) from an old example. ```python from manticore.native import Manticore from manticore.core.plugin import Plugin address_of_main = 0x4009ae class concretePlugin(Plugin): def will_start_run_callback(self, state, *_args): state.cpu.emulate_until(address_of_main) m = Manticore("multiple-styles", concrete_start='coldlikeminisoda') m.register_plugin(concretePlugin()) m.run() ``` Once `main` is reached, Manticore takes over and continues execution as normal. In the case of this example, the full solution is `coldlikeminisodas`, so Manticore generates two different test cases for the remaining byte. The performance improvement for this example is only marginal because the bulk of the time is taken up by the solver, and relatively little initialization is required before executing `main`. However, more complex binaries can see very significant speedups. | 26 February 2019, 19:28:22 UTC |
cdae2bc | Disconnect3d | 14 February 2019, 15:22:23 UTC | Inline EVM's get_possible_solutions (#1372) This was an internal function used just once and it was recreated each time the _consume was executed which can be slow. | 14 February 2019, 15:22:23 UTC |
c113a13 | Joel Frank | 12 February 2019, 20:37:10 UTC | Fix ethereum Manticore API issue, where creating a new account with the code field failed (#1371) * Fix Manticore API issue * - Added test for Manticore API issue - also bugfix for assertion | 12 February 2019, 20:37:10 UTC |
627abaf | Disconnect3d | 12 February 2019, 19:25:00 UTC | Rename tests: add solidity_ prefix (#1311) | 12 February 2019, 19:25:00 UTC |
2a48b66 | Nicolai Søborg | 07 February 2019, 14:24:19 UTC | Ensure native deps (better error message) (#1367) The error message for first time users can be a bit confusing ("NameError: name 'native_main' is not defined"), if native deps isn't installed and the user is running the program against a binary file. ``` $ pip3 install manticore [...] $ manticore ./app Traceback (most recent call last): File "/home/user/.local/bin/manticore", line 11, in <module> sys.exit(main()) File "/home/user/.local/lib/python3.6/site-packages/manticore/__main__.py", line 43, in main native_main(args, logger) NameError: name 'native_main' is not defined ``` After this patch, the code will instead return "ImportError: Missing some packages for native binary analysis. Please install them with pip install manticore[native]." | 07 February 2019, 14:24:19 UTC |
214f9e8 | Eric Hennenfent | 21 January 2019, 21:02:02 UTC | Make sys_lseek return offset location (#1355) Per the [man page](http://man7.org/linux/man-pages/man2/lseek.2.html#RETURN_VALUE), `lseek` should return the offset location as measured in bytes from the beginning of the file. | 21 January 2019, 21:02:02 UTC |
efeb5b5 | Nikita Karetnikov | 21 January 2019, 16:43:34 UTC | Fix a typo in the documentation (#1360) | 21 January 2019, 16:43:34 UTC |
18265f3 | Disconnect3d | 17 January 2019, 10:10:02 UTC | Refactor tests structure (#1352) * Refactor tests structure * Travis: run whole test suite * Fix travis * Fix travis * Fix import * travis_test.sh: split tests/ directories into jobs * Fix travis_test.sh * Fix VMTests proper setup/teardown * Fix tests | 17 January 2019, 10:10:02 UTC |
26dc0d2 | feliam | 17 January 2019, 01:32:40 UTC | Dev single gas calc (#1353) * Try fix concolic * Let gas calc be done in a single place * Fix refactoring | 17 January 2019, 01:32:40 UTC |
1da68dc | Eric Hennenfent | 16 January 2019, 16:04:39 UTC | Symbolic memory model bugfixes (#1350) * Apply returned operands from memory read callbacks * Limit memory callbacks in favor of pluggable memory model * Support len() in bytes for bitvectors * Rolled back changes to read_int * Fix misdirected imports in logging module * Add docstring * Update expression.py | 16 January 2019, 16:04:39 UTC |
0627a5a | disconnect3d | 15 January 2019, 19:41:41 UTC | Refactor not-existing SValue into BitVecVariable | 15 January 2019, 19:42:30 UTC |
81d42d0 | Disconnect3d | 15 January 2019, 15:53:48 UTC | Config with context (#1345) * config: try instead of asking * config.Group: `with statement` usage This changes introduces possibility to make temporary changes to config groups. * Review changes | 15 January 2019, 15:53:48 UTC |
3a01591 | Disconnect3d | 15 January 2019, 14:38:11 UTC | Update Capstone to 4.0.1 (#1312) * Update Capstone to 4.0 * Update Capstone to 4.0.1 As it is there! https://pypi.org/project/capstone/#history It has a minor bug with getting the extra version number but it doesn't hit us at all (see https://github.com/aquynh/capstone/issues/1315#issuecomment-454386418). | 15 January 2019, 14:38:11 UTC |
848fb7e | Disconnect3d | 15 January 2019, 12:27:11 UTC | evm: fix _check_jumpdest when run with detectors (#1347) * evm: fix _check_jumpdest when run with detectors When ManticoreEVM is run with detectors, the self.pc in EVM is a Constant (as we need to taint it). Because of that, the check: ``` if pc not in self._valid_jumpdests: raise InvalidOpcode() ``` failed - i.e. we raised an InvalidOpcode because we checked if the list contains the `Constant` object and not its value. This commit fixes this issue. * Fix the test | 15 January 2019, 12:27:11 UTC |
6804661 | Disconnect3d | 14 January 2019, 21:37:20 UTC | Move tx default gas value to config (#1346) | 14 January 2019, 21:37:20 UTC |
c705e85 | Disconnect3d | 14 January 2019, 17:30:50 UTC | Refactor config (#1335) * Optimize config.py imports * Use dict literal instead of dict() * config.py: process_config_values: add type adnotations * Annotation and docstring | 14 January 2019, 17:30:50 UTC |
cb078ff | Disconnect3d | 14 January 2019, 17:28:08 UTC | Fix writing pc address finding (#1344) * Print as hex values * Fix wrong attribute * Fix test | 14 January 2019, 17:28:08 UTC |
35be876 | Luigi Coniglio | 14 January 2019, 13:37:11 UTC | Fix unexisting attribute (#1341) | 14 January 2019, 13:37:11 UTC |
ea01069 | Disconnect3d | 14 January 2019, 12:05:22 UTC | Add info about ulimit | 14 January 2019, 12:05:22 UTC |
e1c519a | Disconnect3d | 10 January 2019, 22:37:28 UTC | Manticore 0.2.4 (#1338) * Manticore 0.2.4 * Move terminated state ressurecting bug to ethereum in changelog * Changelog improvements * Linkify * Add missing PR id | 10 January 2019, 22:37:28 UTC |
97cfde0 | disconnect3d | 10 January 2019, 17:21:12 UTC | Fix tests that used --timeout | 10 January 2019, 17:21:12 UTC |
324504e | disconnect3d | 10 January 2019, 16:40:43 UTC | Revert back the test file name | 10 January 2019, 16:40:43 UTC |
a812635 | Disconnect3d | 10 January 2019, 15:47:22 UTC | Fix missing consts in CLI args (#1337) * Fix constants missing from manticore --help * Use has_native for native constants * Remove duplicated args from consts: stdin_size and timeout * Move timeout back to shutdown_timeout * Update manticore/core/manticore.py | 10 January 2019, 15:47:22 UTC |
6f7f200 | disconnect3d | 10 January 2019, 02:13:27 UTC | Fix verbose_trace test Fixes test regression introduced in 0e90ca3: the gas default value has changed from 90k to 3kk. | 10 January 2019, 02:13:28 UTC |
8b9632e | Disconnect3d | 10 January 2019, 02:09:05 UTC | Refactor solver (#1334) * Refactor docstrings and add type adnotations * Rename _check to _is_sat and return bool So we won't have to do `== 'sat'` comparison in tons of places. * Compile regular expressions just once! * Refactor imports * Refactor docstrings and recv method * Fix imports in ethereum.detectors | 10 January 2019, 02:09:05 UTC |
0e90ca3 | Disconnect3d | 09 January 2019, 23:31:47 UTC | Evm: change default gas to 3000000 when creating contract (#1332) | 09 January 2019, 23:31:47 UTC |
0814222 | Disconnect3d | 09 January 2019, 22:19:35 UTC | Explicitly require Python>=3.6 when using CLI (#1331) * Require Python>=3.6 We have this in setup.py python_requires but it doesn't work with old pip versions and we get reports that Manticore throws a SyntaxError (on a f-string literal :/). * Move check to __init__ | 09 January 2019, 22:19:35 UTC |
be81fb5 | disconnect3d | 09 January 2019, 13:38:05 UTC | Speed up the EMVWorld.__str__ a bit ...so we can debug a bit faster. * moved `FILTER` outside of `hexdump` so it is created once, also renamed to `_FILTER` * moved `hexdump` func outside of `__str__` (so it doesn't recreate it each time) * changed list comprehensions to generator expressions (so we don't create unnecessary lists) This still isn't perfect and there are rooms for improvements. It's probably good to drop from using lists at all and use some efficient string concatenation method (see also https://waymoot.org/home/python_string/). | 09 January 2019, 13:42:19 UTC |
e83fae8 | Disconnect3d | 09 January 2019, 13:21:53 UTC | Add VerboseTraceStdout plugin (#1330) | 09 January 2019, 13:21:53 UTC |
28f6a46 | Disconnect3d | 09 January 2019, 11:37:31 UTC | Minor evm refactor (#1329) | 09 January 2019, 11:37:31 UTC |
d6aa04d | Disconnect3d | 08 January 2019, 20:28:24 UTC | Hotfix regressions (#1328) * Fix ConcretizeStack -> ConcretizeArgument rename * Fix: remove redundant calc in CALLDATACOPY_gas Note that it could crash the execution when the argument was symbolic (tested on contract from issue 1295) * Fix: not declared _value * Fix ConcretizeFee: set concretize value | 08 January 2019, 20:28:24 UTC |
c9eb624 | feliam | 07 January 2019, 23:44:36 UTC | Make gas calculation faithfulness configurable (#1279) * split extra gas calculation to it's own method * Fix MSTORE8 * Fix some legacy tests * Remove fork selection * Fix legacy tests. Iff Stack Underflow then gas is consumed in full * memfee is zero when size is zero * CC * 1st version of configurable gas faitfulness * Try fix concolic * Fix typo * Fix logic bug * If everything is concrete lets just check at every instruction * Fix bad import at test * CC * CC * CC * Update manticore/platforms/evm.py Co-Authored-By: feliam <felipe.andres.manzano@gmail.com> * Update manticore/platforms/evm.py Co-Authored-By: feliam <felipe.andres.manzano@gmail.com> * Update manticore/platforms/evm.py Co-Authored-By: feliam <felipe.andres.manzano@gmail.com> * Update manticore/platforms/evm.py Co-Authored-By: feliam <felipe.andres.manzano@gmail.com> * Update manticore/platforms/evm.py Co-Authored-By: feliam <felipe.andres.manzano@gmail.com> * Update manticore/platforms/evm.py Co-Authored-By: feliam <felipe.andres.manzano@gmail.com> * Update manticore/platforms/evm.py Co-Authored-By: feliam <felipe.andres.manzano@gmail.com> * Fix tab * Documment check_jmpdest * Remove unnecesary local var * Fix get_memfee arguments * Change docstrings comments * Fix concrete gas consumption for accesses with size 0 (Frontier). Fix auto tests maker. * Add comment of deleted constant * CC * fix merged test and add gas to vm.__str__ * Update evm.__str__ related tests * Try to fix/update output checking test * docstring OCD * Update manticore/platforms/evm.py Co-Authored-By: feliam <felipe.andres.manzano@gmail.com> * docstring SOCD and fix oog config var * Fix oog config variable * Fix CC * Typo: ammmmount | 07 January 2019, 23:44:36 UTC |
e83a608 | Disconnect3d | 07 January 2019, 19:37:56 UTC | Fix terminated states resurrection (#1326) * Add testcase for 1325 * Fixes 1325 | 07 January 2019, 19:37:56 UTC |
f349adb | Disconnect3d | 07 January 2019, 16:52:17 UTC | Make is_human a property (#1323) * Make is_human a property * Update manticore/platforms/evm.py * Better docstring | 07 January 2019, 16:52:17 UTC |
b7f9a46 | Sharon Lin | 06 January 2019, 21:49:36 UTC | added warning and error to sys_arch_prctl (#1319) * added warning and error to sys_arch_prctl * Changed error message and list to set literals * Removed trailing whitespace | 06 January 2019, 21:49:36 UTC |
64c75fb | Disconnect3d | 03 January 2019, 11:25:31 UTC | Fix evm's make_symbolic_address (#1318) * Fix evm's make_symbolic_address The code that created a constrain for created symbolic address was unreachable. * Add testcase for make_symbolic_address | 03 January 2019, 11:25:31 UTC |
23199f2 | Disconnect3d | 02 January 2019, 15:44:06 UTC | Minor state/platform refactor (#1320) The `StateBase` class had two properties that are only used in native engines: `cpu` and `mem`. Those two used `self._platform.current` and that `current` is a property in linux and decree platforms that returns current process platfrom (?). | 02 January 2019, 15:44:06 UTC |
b7626fc | Alan | 01 January 2019, 15:46:59 UTC | Add symbol resolution feature for binary analysis (#1302) * Remove obsolete symbol resolver helper * Add resolve helper for function sym resolving * Add test case for symbol resolution * Add binary path property, fix decree, fix m.resolve Refactor out resolver helper Decree missing self.program attribute Fix use of exceptions in m.resolve Make m.resolve raise exception instead of returning None Add another test case | 01 January 2019, 15:46:59 UTC |
4cb7e3b | Disconnect3d | 20 December 2018, 23:21:05 UTC | Refactor events and test_events (#1314) | 20 December 2018, 23:21:05 UTC |
c0b6ce1 | Disconnect3d | 20 December 2018, 22:49:49 UTC | Speed up ArmV7Operand.type assertions (#1313) * Speed up ArmV7Operand.type assertions So .type will now just return the value instead of building a mapping and returning a result. * Update manticore/native/cpu/arm.py * Revert debug changes | 20 December 2018, 22:49:49 UTC |
94991c8 | Disconnect3d | 18 December 2018, 00:49:36 UTC | Fix eth private func calls (#1306) * Add test for calling contract._func * Fix contract._func calls * EVMContract: make attributes protected * Move EVMContract __hashes={} to __init__ * Fix attribute error * Review fix | 18 December 2018, 00:49:36 UTC |
e3f8801 | Disconnect3d | 18 December 2018, 00:40:13 UTC | __main__.py: fetch manticore version from installed module (#1310) | 18 December 2018, 00:40:13 UTC |
6b80359 | Alan | 17 December 2018, 22:44:47 UTC | Migrate hook callback methods to native.Manticore (#1309) * Migrate hook callback methods to native.Manticore * Fix indentations | 17 December 2018, 22:44:47 UTC |
f1fa154 | Disconnect3d | 17 December 2018, 19:24:45 UTC | test_manticore: remove redundant imports (#1308) | 17 December 2018, 19:24:45 UTC |
b399080 | Disconnect3d | 17 December 2018, 19:15:06 UTC | Remove Py3 redundant object inheritance (#1307) | 17 December 2018, 19:15:06 UTC |
580b358 | Disconnect3d | 17 December 2018, 14:04:00 UTC | Refactor generate_testcase events and fix eth verbose trace plugin (#1305) * WIP * Add test * Add missing test data file * Fix missing testcase msg and assert it in test * Remove Executor.generate_testcase - just publish event * Remove redundant import * Add ManticoreBase._last_run_stats * Review fixes * Remove redundant assertions in test_basic_arm * Elapsed time calc fix | 17 December 2018, 14:04:00 UTC |
463a394 | Eric Hennenfent | 14 December 2018, 18:05:23 UTC | Fix logging regressions (#1304) * Fix logging Creates custom loggers so that we no longer need to call init_logging. Verbosity is automatically set upon logger creation, and updated in the event of manticore_verbosity being set after the fact. * Strip the stateid from the loggers It literally only ever gets set to None. * Fix deleted line That's what source control is for * Appease CodeClimate Trouble me no more, damnable machine | 14 December 2018, 18:05:23 UTC |
54bf795 | Disconnect3d | 12 December 2018, 21:07:09 UTC | Display registered eth detectors (#1301) * Display registered eth detectors ``` root@52356aa06255:/# manticore test.sol 2018-12-12 13:53:58,615: [1496] m.c.manticore:INFO: Verbosity set to 1. 2018-12-12 13:53:58,798: [1496] m.main:INFO: Registered plugins/detectors: DetectInvalid, DetectExternalCallAndLeak, DetectEnvInstruction, DetectReentrancySimple, DetectUninitializedMemory, DetectDelegatecall, DetectUninitializedStorage, DetectReentrancyAdvanced, DetectUnusedRetVal, DetectSuicidal, DetectIntegerOverflow 2018-12-12 13:53:58,799: [1496] m.main:INFO: Beginning analysis 2018-12-12 13:53:58,800: [1496] m.e.manticore:INFO: Starting symbolic create contract Mnemonic return Mnemonic return hooman 2018-12-12 13:53:58,933: [1496] m.e.manticore:INFO: Starting symbolic transaction: 0 2018-12-12 13:53:59,072: [1496] m.e.manticore:INFO: 0 alive states, 2 terminated states 2018-12-12 13:53:59,117: [1496] m.e.manticore:INFO: Starting symbolic transaction: 1 2018-12-12 13:53:59,133: [1558] m.e.manticore:INFO: Generated testcase No. 0 - REVERT 2018-12-12 13:53:59,462: [1558] m.e.manticore:INFO: Generated testcase No. 1 - RETURN 2018-12-12 13:53:59,590: [1496] m.c.manticore:INFO: Results in /mcore_f7hsxcpn 2018-12-12 13:53:59,591: [1496] m.c.manticore:INFO: Total time: 0.6525142192840576 ``` * Update manticore/ethereum/cli.py * Update tests/test_binaries.py | 12 December 2018, 21:07:09 UTC |