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 |
---|---|---|---|---|
3c7d92b | Yan Ivnitskiy | 28 November 2017, 23:14:03 UTC | Trace following mode (#513) * WIP New Policy class * WIP pubsub * Update Signal tests * small fixes from github comments * Fix event decode_instruction signature * Good merge * Good good merge * WIP manticore refactor * Fix default old-style initial state * add -> enqueue * @m.init * Fix workspace url * Some test skipped * Ad Fixme to platform specific stuff in State * add -> enqueue * Enqueue created state * Fix m.init Use a messy hack to adhere to the spec (callback func receive 1 state argument) * Add _coverage_file ivar to Manticore * Fix symbolic files * remove extra enqueue * Fixing __main__ * comments * Experimental plugin system * tests fixed * Fix plugins * Some reporting moved to plugin * Fix assertions test * Add published events to classes that publish them * Update how we verify callbacks * Update Eventful._publish * Yet another flavor for event name checking * really it's a bunch of minimal bugfixes * Remove get_all_event_names from Plugin * Update where we get all events * Use new metaclass-based event registry * Initial concrete trace follower * Add extended (json) trace support * More stubs for condition gather * Update trace saving to new format * Produce trace regardless of contents * Record register deltas in trace * Move initialization to _start_run so we can call run() multiple times * Re-fix multiple workspace bug * Fix it correctly * Add extended trace and accessors * make sure did_execute_instruction is always published * Produce a consistent version * move extended tracing to separate class * Reorg of extended tracing plugins * Add concolic tracing script * Clean up old hooks * Sync memory as well; cleanups * Revert binary tests * simplify concolic follower * Move trace follower to plugin.py * Simplify follower * Add skip ranges to Follower * Update concolic.py * Remove redundant state init * Clean up driver script * Update header line * Move trace follower * Move Follower to follow_trace.py * rm unused import * Remove unnecessary property * rm ConcreteTraceFollower * Revert start_run behavior | 28 November 2017, 23:14:03 UTC |
88b213d | Garret Reece | 28 November 2017, 22:46:19 UTC | Fixes to thumb mode instruction implementations * Thumb specific fixes to the SUB, BX, and MOV instruction implementations * implemented hardcoded result for gettid syscall | 28 November 2017, 22:46:19 UTC |
d98ef22 | Srinivas P G | 27 November 2017, 23:13:13 UTC | Fix Issue: 597 - Remove unused policy argument in function State.solve_n (#598) * version argument in manticore * Fix 591 - Exception Handler * Issue 597 - Remove the unused policy argument | 27 November 2017, 23:13:13 UTC |
ce88876 | Srinivas P G | 22 November 2017, 21:18:45 UTC | Fix for issue 556 and 591 (#590) * version argument in manticore * Fix 591 - Exception Handler | 22 November 2017, 21:18:45 UTC |
fccf451 | cole-lightfighter | 21 November 2017, 18:56:00 UTC | Assert valid operand length (#558) * Assert valid bytecode and operand length EVM bytecode comes in 32-byte chunks, and contracts require at least one segment to be created. An example, originally written by @ggrieco-tob in issue #546, is included. Unsure what expected behavior should be, but initial state has a problem when a contract is created with a single byte. Also added some exception handling in `parse_operand()` to catch invalid instructions, e.g. a PUSH1 instruction followed by no bytes. Signed-off-by: Cole Lightfighter <cole@onicsla.bz> * Fix SLOAD invalid memory access Simple check to ensure address storage is in global_storage before attempting to load data. * Remove invalid assertions | 21 November 2017, 18:56:00 UTC |
fbe70f1 | Sidhant Gupta | 20 November 2017, 22:44:19 UTC | Updating README with solc binary requirements (#575) * Updating README with solc binary requirements * Update README.md | 20 November 2017, 22:44:19 UTC |
5c52fca | Sidhant Gupta | 20 November 2017, 21:06:57 UTC | Updates travis cache to python 2.7.13 (#576) | 20 November 2017, 21:06:57 UTC |
652c99b | Dushyanth Chowdary | 20 November 2017, 21:04:34 UTC | Manticore prints linux ret code as uint instead of int (#578) * Fixing raise issue #435 * syncing git * Fix Bug #570 * syncing * removed all binaries * missed one file | 20 November 2017, 21:04:34 UTC |
1dbf40e | Mark Mossberg | 20 November 2017, 20:35:32 UTC | Add UMD simple assert example (#573) | 20 November 2017, 20:35:32 UTC |
35d8fce | Mark Mossberg | 17 November 2017, 17:40:30 UTC | Only really fork when there's multiple solutions (#569) | 17 November 2017, 17:40:30 UTC |
0e4e9a4 | ggrieco-tob | 14 November 2017, 20:18:31 UTC | Added missing syscalls in decree syscall trace (#545) * added missing syscalls in decree syscall trace * added missing parameter in callback of BranchLimited policy | 14 November 2017, 20:18:31 UTC |
352b9ba | awr|arr | 14 November 2017, 20:10:14 UTC | Fix typo per issue #552 - s/arm64/amd64/ (#561) | 14 November 2017, 20:10:14 UTC |
8002a1d | HighW4y2H3ll | 14 November 2017, 19:39:51 UTC | Add PCMPXSTRX Instructions (#507) * Add PCMPXSTRX Instructions * bug fixes * unittest related fixes * Full test of pcmpxstrx * Move tests | 14 November 2017, 19:39:51 UTC |
94d2e94 | feliam | 14 November 2017, 15:06:08 UTC | New API for EVM analysis (#551) * Fixes symbolic reentrancy example * Fix coverage Issue# 527 * Remove debug unused code * New solidity biased API and reporting * Updated examples to new api WIP * simple_mapping FIXED. new api * Simple transaction example added. msg.value can be symbolic now * Reentrancy symbolic now updated to new API + bugfixes | 14 November 2017, 15:06:08 UTC |
b13a8c0 | cole-lightfighter | 14 November 2017, 13:34:18 UTC | Fix SLOAD invalid memory access (#562) Check global_storage includes an entry at address before trying to load storage. | 14 November 2017, 13:34:18 UTC |
d9b5467 | Mark Mossberg | 13 November 2017, 23:30:23 UTC | Handle file.tell() error, which will happen for special files (/dev/tty) (#559) | 13 November 2017, 23:30:23 UTC |
08f86cc | cole-lightfighter | 13 November 2017, 17:20:57 UTC | [fix] Issue #550: generates extra workspace folder (#557) * [fix] Issue #550: generates extra workspace folder Signed-off-by: Cole Lightfighter <cole@onicsla.bz> * Slight workspace and store refactor | 13 November 2017, 17:20:57 UTC |
9535ec8 | Mark Mossberg | 09 November 2017, 16:28:24 UTC | Fix all integral type checks that forget long (#555) | 09 November 2017, 16:28:24 UTC |
d341bc9 | Peter Goodman | 08 November 2017, 19:48:23 UTC | Move inline function definitions out of the AbstractCPU's execute method (#538) * This change moves from inline function definitions out of the critical path of AbstractCpu's execute method. * Raise a mcore exception if we fail at emulation | 08 November 2017, 19:48:23 UTC |
7c1e5e1 | Yan | 06 November 2017, 23:00:26 UTC | Localize log formatting changes (#547) * Don't add custom format string to root logger * Fix handler propagation | 06 November 2017, 23:00:26 UTC |
82d1621 | car bauer | 06 November 2017, 21:51:43 UTC | Remove win32 support (#535) * Remove Windows support files * Remove Windows test files | 06 November 2017, 21:51:43 UTC |
baf2d76 | Yan | 25 October 2017, 14:53:11 UTC | Various bug fixes. (#530) * Fixes #503 * Fixes #515 * Fixes 272. Concretize data written to a fd. * Revert debug hack and fix overly broad exception * Update did/will_exec_instr semantics * Clean up imports * Update logging and improve sys_open return * Update variable names+doc for consistency | 25 October 2017, 14:53:11 UTC |
08e8c3b | feliam | 23 October 2017, 20:45:01 UTC | Fix coverage calculation vs. metadata (#529) * Fixes symbolic reentrancy example * Fix coverage Issue# 527 * Remove debug unused code | 23 October 2017, 20:45:01 UTC |
a9ad183 | feliam | 20 October 2017, 19:43:22 UTC | Fixes symbolic reentrancy example (#528) | 20 October 2017, 19:43:22 UTC |
5aa681d | Mark Mossberg | 19 October 2017, 19:46:22 UTC | 0.1.5 Release (#501) * Update CHANGELOG.md * Update 0.1.5 README * Bump version/release date | 19 October 2017, 19:46:22 UTC |
23218d7 | feliam | 18 October 2017, 22:17:26 UTC | Simple event signature fixes (#525) * dev-evm-event-bugfixes * Better stringifierer | 18 October 2017, 22:17:26 UTC |
8591bff | feliam | 17 October 2017, 22:47:20 UTC | EVM support (#521) * WIP New Policy class * WIP pubsub * Update Signal tests * EVM support - Wip * EVM support - dependencies fixed * EVM support - fix decree merge * fix decode instrucion event * Fix small bugs in evm opcodes (too many arguments + wrong LOG name) (#380) Fix wrong call parameters + typo * Fix Create/Call * Fix depth * Default fixed point in arithmetic simplifier * small fixes from github comments * Fix event decode_instruction signature * wip wip * Auto tests for evm * New EVM tests * Ran 9556 FAILED (failures=166, errors=8, skipped=62) * Fix some arithmetic instructions * Ran 9556 FAILED (failures=136, errors=8, skipped=62) * More instructions - Optimizing symbolic memory * Added gas to opcodes description - FIX DELEGATECALL POPS * Add wip wallet example * The tests * Solidity constructors need argument after bytecode * Simple integer overflow working * Good merge * Good good merge * WIP manticore refactor * Fix default old-style initial state * context now working * Fix context serialization * Fix test models. Can not set a state constraints * typo * A few typos (constraints setter) and use of public properties in internal methods * Fix init wallet example * State __init__ needs to initialize platform constraints * Internal methods use internal properties * Better attack modeling * Better example layout * Storage backup on CALL is now faster .. and correct * Add LOG support * Minimal SE test * Added examples * Send ether bugfix * EVM: Fix wrong balance destination on CALL + decrease caller balance on CREATE * New balance management * Trying to maintain known hashes * Known hash concretization policy * CALLDATA max size bugfix * Minimal SE example * Remove evm tests * add -> enqueue * @m.init * Fix workspace url * Some test skipped * Ad Fixme to platform specific stuff in State * add -> enqueue * Enqueue created state * Fix m.init Use a messy hack to adhere to the spec (callback func receive 1 state argument) * Add _coverage_file ivar to Manticore * Fix symbolic files * remove extra enqueue * Fixing __main__ * comments * Fix visitors oddity * setup merged * remove duplicates and add pysha3 * Remove EVMTests import * Refactor platform specific code out of ManticoreOutput (#505) * Initial moving work * Clean * Make linux.generate_workspace_files work * Fix * clean * Add test * Test workspace for platform files * Skip EVM cpu pretty print * Remove bad import * Fix coverage.py for testing * Clean comment * Comment hack * Print evm cpu * pretty print evm world instead of platform * delet old scripts/examples * delet old tests * Remove z3 install script * Array.max_size can be None, include check for that * Rm unused _symbolic_files add_symbolic_files was moved to linux, so this is not needed * Rm unused args * Import evm * Rm dup function * Rm stray prints * Add docs for new classmethod apis * minimal * minimal example * fix minimal * Fair symbolic SHA3 handling * Simple mapping example * coverage example * fix tests * fix minimal * Some eko fixes * New SETH * integer_overflow refactored * Fixing the examples * init_bytecode -> init ' * Concrete reentrancy exampole * concrete reentrancy selfdestruct * Update minimal.py * It's a new Minimal * Integer overflow example * New minimal * minimal fix * Examples last minute fixes * Remove debug print * add plugin.py * Fixing event subscription * remove temp params * Remove param * Update uncovered will_exec callback prototype * Clean up debug output * Automatically generated intruction tests * Uninplemented instruction test removed * Unused concretization policy removed * Fixes enabling default bplugins * solc from PATH * Removed unused import * Logger name updated | 17 October 2017, 22:47:20 UTC |
e84c051 | feliam | 04 October 2017, 18:51:37 UTC | Manticore plugins (#506) * WIP New Policy class * WIP pubsub * Update Signal tests * small fixes from github comments * Fix event decode_instruction signature * Good merge * Good good merge * WIP manticore refactor * Fix default old-style initial state * add -> enqueue * @m.init * Fix workspace url * Some test skipped * Ad Fixme to platform specific stuff in State * add -> enqueue * Enqueue created state * Fix m.init Use a messy hack to adhere to the spec (callback func receive 1 state argument) * Add _coverage_file ivar to Manticore * Fix symbolic files * remove extra enqueue * Fixing __main__ * comments * Experimental plugin system * tests fixed * Fix plugins * Some reporting moved to plugin * Fix assertions test * Add published events to classes that publish them * Update how we verify callbacks * Update Eventful._publish * Dev plugins (#512) * Yet another flavor for event name checking * really it's a bunch of minimal bugfixes * Remove get_all_event_names from Plugin * Update where we get all events * Use new metaclass-based event registry * Define prefixes in one place * remove debug print * remove debug print | 04 October 2017, 18:51:37 UTC |
1edee15 | Yan | 25 September 2017, 22:09:18 UTC | Pythonic logger naming (#511) * More generic logging * Clean up logger name gen * Refactor name summarization | 25 September 2017, 22:09:18 UTC |
b933383 | JP Smith | 14 September 2017, 16:52:15 UTC | install z3 with pip in Dockerfile (#502) | 14 September 2017, 16:52:15 UTC |
0efa379 | JP Smith | 14 September 2017, 00:17:13 UTC | Fix stderr file creation and test for it going forwards (#495) * fix stderr file creation and test for it going forwards * consolidate tests * clean up imports | 14 September 2017, 00:17:13 UTC |
58cdee8 | Mark Mossberg | 13 September 2017, 22:34:45 UTC | Update test_workspace.py (#497) | 13 September 2017, 22:34:45 UTC |
23c2585 | feliam | 13 September 2017, 21:37:42 UTC | Refactor platform details out from Manticore (#421) * WIP New Policy class * WIP pubsub * Update Signal tests * small fixes from github comments * Fix event decode_instruction signature * Good merge * Good good merge * WIP manticore refactor * Fix default old-style initial state * add -> enqueue * @m.init * Fix workspace url * Some test skipped * Ad Fixme to platform specific stuff in State * add -> enqueue * Enqueue created state * Fix m.init Use a messy hack to adhere to the spec (callback func receive 1 state argument) * Add _coverage_file ivar to Manticore * Fix symbolic files * remove extra enqueue * Fixing __main__ * comments * Refactor CLI, and Manticore high level interfaces (#498) * Refactor main, - classmethod for linux - refactor manticore ctor - compat with old linux behavior - changed verbosity API (to allow for this use case: what if you want to set verbosity for the stuff manticore does in its ctor?) * rm old verbosity * small * Add decree classmethod * Rm checks ; they are redundant anyway * Misc * Move add_symbolic_file to linux platform * rm redundant checks * Rm explicit args for deprecated interface * Fix cli bug * Allow for both linux and decree from cli * Add back argv positional param for deprecated api compat | 13 September 2017, 21:37:42 UTC |
f6fea10 | Mark Mossberg | 12 September 2017, 19:21:48 UTC | Use z3-solver package (#494) * Add z3-solver pip dep for z3 install * Update readme for z3 | 12 September 2017, 19:21:48 UTC |
5092397 | Mark Mossberg | 12 September 2017, 19:08:53 UTC | Fix logger verbosity and test (#491) * something liekt his * `will_store_state` does not exist * slightly better cli verbosity test * Fix variable * Rm unused callback fun | 12 September 2017, 19:08:53 UTC |
a8ef3ec | John F.X. Galea | 12 September 2017, 19:03:01 UTC | Added implementation for sys_dup and sys_dup2 (#490) * Added implementation for sys_dup and sys_dup2 * Fixed bug in close functionality. * Removed unwanted white-space * Updated implementation of sys_dup and sys_dup2 * Fixed is_open function. * Handle a newfd in dup2 that extends beyond existing fd table size * Add a minimal sys_getrlimit() implementation Thank you @johnfxgalea! | 12 September 2017, 19:03:01 UTC |
f8a8373 | Mark Mossberg | 11 September 2017, 17:05:51 UTC | Request binaries that cause bugs in contributing.md (#486) * Request binaries * Update CONTRIBUTING.md | 11 September 2017, 17:05:51 UTC |
8b66e58 | Mark Mossberg | 08 September 2017, 00:15:31 UTC | Document cli better (#482) * Update README.md * Rewrite -h * Clearer cli usage * Fix forgotten variable name changes * Fix more forgotten variables | 08 September 2017, 00:15:31 UTC |
60c6813 | John F.X. Galea | 07 September 2017, 20:30:55 UTC | Implemented getcwd sys call, along with a new helper function that wr… (#483) * Implemented getcwd sys call, along with a new helper function that writes a NULL terminated string to memory. The reason for this commit is that the sys call was not implemented. * Fixed logging string for sys_getcwd imp * Removed semicolon in sys_getcwd function * Fixed logging string for sys_getcwd imp. The problem was that size is unsigned and the incorrect format symbol was used * Fixed the following: 1) Included the string param in the doc of the write_string function. 2) Added less verbose code to append a NULL to a string in the write_string function 3) Removed the assert to check if the written string to memory matches with one that is read at a given address in the sys_getcwd function 4) Fixed bug in the return values returned by sys_getcwd * Fixed error logs in the getcwd function. * Fixed return values of sys_getcwd function. * Fixed string format symbol in sys_getcwd function. * Removed dir exists check from the sys_getcwd function. * Arranged memory block check in the sys_getcwd function. * Removed new line after write_string function. (Thank you @johnfxgalea!) | 07 September 2017, 20:30:55 UTC |
d83fa73 | Mark Mossberg | 06 September 2017, 22:11:22 UTC | Create CONTRIBUTING.md (#481) * Create CONTRIBUTING.md * Update CONTRIBUTING.md * Update CONTRIBUTING.md | 06 September 2017, 22:11:22 UTC |
7679773 | Yan | 01 September 2017, 21:05:43 UTC | Update examples (#477) * Use locked_context() in count_instructions example * We use this example on the front page, and it currently generates a flood of warnings. * Update example indeces * Remove dump_stats() * Remove extra comments * Remove redundant comments | 01 September 2017, 21:05:43 UTC |
9b8ef3c | Yan | 01 September 2017, 20:31:50 UTC | Concretize stdout in state summary (#478) | 01 September 2017, 20:31:50 UTC |
0cd2560 | JP Smith | 01 September 2017, 16:43:29 UTC | Update Manticore docstring (#476) * update Manticore docstring * fix type docstring | 01 September 2017, 16:43:29 UTC |
d5d22a8 | JP Smith | 31 August 2017, 21:44:43 UTC | Allow Manticore initialization with State object (#475) | 31 August 2017, 21:44:43 UTC |
f9b02bd | feliam | 31 August 2017, 16:48:55 UTC | New Policy class (#368) * New Policy class * Move visited to Policy - Fix contexts * Add BranchLimited * signals -> events for branchlimited | 31 August 2017, 16:48:55 UTC |
c6f8fd1 | JP Smith | 31 August 2017, 15:16:52 UTC | initialize executor at manticore initialization (#471) | 31 August 2017, 15:16:52 UTC |
ca0d7b6 | Yan | 29 August 2017, 21:00:17 UTC | Add basic socket support (#428) * Add a descriptor class for socket(2) return values * Add basic socket(2) and bind(2) * Basic accept(2) * Basic recv(2) support * Debug statements and accept(2) * Add check for symbolic arg to open(2) * Fix an example warning * send/sendfile * debug->info for some mcore output * Produce socket data as part of state serialization * Clean up SLinux.sys_open() * Document socket(2) peculiarities | 29 August 2017, 21:00:17 UTC |
a025bda | Theofilos Petsios | 23 August 2017, 21:47:23 UTC | Updated visualization plugin with coverage info & live update option (#444) * plugin rearrangement and UI options * Live update and clear options * coverage stats * added check for xref address * coverage in separate option as BackgroundTaskThread * license cleanup | 23 August 2017, 21:47:23 UTC |
60a99d2 | JP Smith | 23 August 2017, 21:37:26 UTC | Seed random on policy init to make results deterministic (#466) * seed random on policy init to make results deterministic * document new random behavior | 23 August 2017, 21:37:26 UTC |
1b653be | Theofilos Petsios | 23 August 2017, 18:46:17 UTC | Basic Caching for Binja IL (#467) * basic caching (wip) * moved execute in binja and cleanup of self.instruction refs * did_emulate_insn and get_current_llil_func renaming * refactor for hasattr | 23 August 2017, 18:46:17 UTC |
b32379d | Theofilos Petsios | 22 August 2017, 03:03:47 UTC | did_execute_instruction nit (#468) | 22 August 2017, 03:03:47 UTC |
d3d1e9c | Mark Mossberg | 18 August 2017, 17:48:33 UTC | Manticore 0.1.4 (#462) * Bump version number * Changelog updates * Include changes to undocumented functionality, but mark as experimental * Function notation * Update CHANGELOG.md * thanks!!! | 18 August 2017, 17:48:33 UTC |
604de56 | Mark Mossberg | 18 August 2017, 15:12:14 UTC | Update readme (#461) * No more partial arm * windows unmaintained :(( and bye pip * Move dev install insns to wiki, no need to clutter README | 18 August 2017, 15:12:14 UTC |
715cc43 | Theofilos Petsios | 17 August 2017, 21:43:27 UTC | Abstract Disassembler classes and Binja CPU + Platform (#364) * adding abstract disasm class * before adding abstract insn * explicit capstone use * (wip) removing capstone * debugging nose * removed disassembler from constructor * nits * capstone->cs and nits * basic memory (wip) * tmp * added binja dissasm * fixed execution pipeline - calling LLIL instructions * updated parseargs to select disassembler * unstable (disassembler at CPU constructor breaks tests) * disasm fix for tests * nit for aliases in x86 * added a flag to differentiate disassembly and IL-disassembly for binja * before merging * merging with dev-events master * fixed signal forwarding for binja * cleaner initialization * Binja RegisterFile. Dropped Platform * address fixup * properly incrementing PC * some work on XOR, SET_REG, REG, CONST, AND, PUSH, POP * adding first CALL, JMP, LOAD (wip) * JUMP fix * GOTO and misc fixes in PC handling * adding instructions (wip) * fixing flags and sizes (wip) * loading database if exists for faster analysis * fix for register debug * fixes for register sizes and flags * FIX for multiple IL instructions sharing the same PC * removed CONST_PTR and misc fixes * RET, SHR, shift left & misc instructions, fixing insn sizes (wip) * flag fixes * ctypes 2's complement parsing * JUMP_TO, SYSCALL * syscall fixups and flag computation using binja il only * FLAG, NEG, CMP(family) of LLIL, some unimplemented methods * MUL, DIV * cmpxchg * MUL, IMUL, ROR, ROL * fallback to capstone for all LLIL_UNIMPL and LLIL_UNIMPL_MEM * fixes for registers and memory when switching CPUs * check for binja to disable multiprocessing * merging * nit * hack for serialization * moved check for disassembler to Manticore from __main__ * removing __class__ refs * cleanup from __class__.disasm * size calculation from get_instruction_low_level_il * fix for NEG, check for empty queue, execute refactor * fixes for LLIL functions * removal of redundant regfile writes * nit fixes * function overrides in Cpu classes and orphan printf cleanup * nit * incomplete merge * verbosity temp mod * cleanups of FIXMEs * 2-stage constructor for disassembler * cleanup binja refs in abstractcpu * serialization for platform_cpu * check for UNIMPL in all the il queue * typo fix * fix for arm * typo correction and starting caching implementation * restored register printing and fixed import in x86.py | 17 August 2017, 21:43:27 UTC |
f9489d3 | Mark Mossberg | 17 August 2017, 20:50:21 UTC | Document `Manticore.locked_context` API (#460) * Add locked_context to documented APIs * Initial | 17 August 2017, 20:50:21 UTC |
22974ca | Mark Mossberg | 17 August 2017, 20:48:59 UTC | Add gotchas docs (#459) * Add gotchas docs * always | 17 August 2017, 20:48:59 UTC |
5d87fc8 | Garret Reece | 17 August 2017, 15:02:44 UTC | Instructions and tests to support issue binary for issue #182 (#403) * orn instruction plus unit test * uadd8 and it instructions implemented * SEL instruction implementation * GE flag set by UADD8 * IT instruction condition code properly no longer prevents its execution * support for multiple instruction tests added to testing setup * unit test for SEL instruction * cleaned up the tests for thumb instructions * implemented sxth and rev instructions * implemented tests for sxth and rev instructions * updated the add implementation to support two operand variant (i.e., add r4, #4) * added test for itete ne instruction | 17 August 2017, 15:02:44 UTC |
7bb64fe | JP Smith | 15 August 2017, 15:50:46 UTC | fix trace-saving behavior (#454) | 15 August 2017, 15:50:46 UTC |
09bb702 | Theofilos Petsios | 14 August 2017, 20:05:29 UTC | Implement logging presets (#445) * logging template nits * moved logging outside Manticore * naming fix and exposed API call * logging -> log renaming * fix for verbosity test * restored setter/getter for verbosity * fixes for warnings in 0 mode and exteneed test_cli_verbosity * removed print * relative import, fork message to executor, init function * verbosity docstring fix * docstring nit | 14 August 2017, 20:05:29 UTC |
1d8e051 | Mark Mossberg | 14 August 2017, 18:44:53 UTC | Fix state.generate_testcase (#451) * Use correct event name * Add test for state.generate_testcase Test merely tests that this function publishes the 'will_generate_testcase' event * Properly test; make sure the callback executes and error if not This is the most convoluted unit test I've ever written. * "better" | 14 August 2017, 18:44:53 UTC |
36a5881 | Yan | 10 August 2017, 19:07:53 UTC | Use the same workspace URI in Executor.__init__ (#443) * Make sure we're using the same workspace * create_store -> fromdescriptor * classmethod -> cls variable * Cache descriptor name * join -> format * Update Store docs | 10 August 2017, 19:07:53 UTC |
e78ae89 | Mark Mossberg | 10 August 2017, 19:06:51 UTC | Add Manticore version to issue template (#447) * Add Manticore version to issue template * Update ISSUE_TEMPLATE.md | 10 August 2017, 19:06:51 UTC |
eef3cd2 | Mark Mossberg | 08 August 2017, 22:12:55 UTC | Implement state.generate_testcase (#438) * ran * Some dirty work * Rm unnecessary sanitization * Fix state.generate_inputs event publishing We don't need to manually pass `self` because State is automatically forwarded as an argument. Also correctly specify a message for the state and expose to the API * Rename * Update test for new save_testcase args, make test more robust * Simplify arguments related to generate_testcase_callback by removing default arg. Add test for this behavior * Minor test fixup * Add official API docs * Remove unnecessary new event type | 08 August 2017, 22:12:55 UTC |
9ae76a4 | Mark Mossberg | 07 August 2017, 15:08:37 UTC | Fix testcase generation output (#436) | 07 August 2017, 15:08:37 UTC |
68555f5 | Dushyanth Chowdary | 05 August 2017, 01:27:15 UTC | Fixing raise issue #435 (#437) | 05 August 2017, 01:27:15 UTC |
af3020d | JP Smith | 04 August 2017, 21:18:45 UTC | log testcase generation (#430) | 04 August 2017, 21:18:45 UTC |
7b83272 | Mark Mossberg | 03 August 2017, 21:13:40 UTC | Implement symbolic branch tracking in core, add new fork event (#433) * Add fork_state event for individual state forks * Rename to forking_state, add branch tracking to state * Remove unnecessary locking around event publishing | 03 August 2017, 21:13:40 UTC |
5ad18e7 | Yan | 02 August 2017, 21:31:29 UTC | Produce fork-related output at info level from mcore (#429) | 02 August 2017, 21:31:29 UTC |
3b57c0d | feliam | 01 August 2017, 17:08:54 UTC | Fix context serialization (#425) * Fix context serialization * Fix test models. Can not set a state constraints * typo * A few typos (constraints setter) and use of public properties in internal methods * State __init__ needs to initialize platform constraints * Internal methods use internal properties * test_record_branches removed | 01 August 2017, 17:08:54 UTC |
2714007 | JP Smith | 31 July 2017, 18:39:47 UTC | remove state.generate_inputs (#385) | 31 July 2017, 18:39:47 UTC |
51837df | Eric Hennenfent | 28 July 2017, 15:58:25 UTC | Add Taint Parameters (#414) * Add taint args to buffer creation Allows the `new_symbolic_buffer` and `symbolicate_buffer` functions to take keyword args for tainting. Defaults to frozenset in both cases. * Add unit tests and ArrayProxy taint propery Adds simple unit tests for tainted buffers. Added a property to the ArrayProxy class in smtlib.expression so that it's possible to access the taint of the proxied ArrayVariable. * Updated docstrings | 28 July 2017, 15:58:25 UTC |
7635721 | feliam | 27 July 2017, 22:41:08 UTC | Pub-sub like events (#371) * WIP New Policy class * WIP pubsub * Update Signal tests * small fixes from github comments * Fix event decode_instruction signature * Good merge * Good good merge * Eventful class commented * The million typos * Code revision * Fix tests for new mor strict Eventful | 27 July 2017, 22:41:08 UTC |
a3cf6e7 | JP Smith | 27 July 2017, 16:31:58 UTC | Fix warning during regular analysis (#420) * only make context warning appear when appropriate * implement felipe's suggestion | 27 July 2017, 16:31:58 UTC |
d1ead7a | JP Smith | 21 July 2017, 20:03:26 UTC | remove naked print from executor.py (#410) | 21 July 2017, 20:03:26 UTC |
8d19dc5 | JP Smith | 21 July 2017, 19:34:33 UTC | Fix solver call in decree (#409) | 21 July 2017, 19:34:33 UTC |
d9c226b | JP Smith | 20 July 2017, 20:02:13 UTC | Fix forking state from memory (#407) * import ForkState before use * Fix ForkState behavior | 20 July 2017, 20:02:13 UTC |
7f54a43 | JP Smith | 19 July 2017, 14:51:31 UTC | Make makeDecree conform to convention and fix --data (#402) * fix makeDecree to work with scripting * fix concrete_data | 19 July 2017, 14:51:31 UTC |
74bd5ed | JP Smith | 18 July 2017, 21:25:17 UTC | remove grr snapshot support (#400) | 18 July 2017, 21:25:17 UTC |
344ade9 | JP Smith | 18 July 2017, 20:34:37 UTC | Add optional redis dependency to setup.py (#399) * add optional redis dependency to setup.py * update installation documentation * clarify docs and add redis to dev install | 18 July 2017, 20:34:37 UTC |
be2494d | Frank Busse | 18 July 2017, 15:38:41 UTC | Expose symbolic files to command line interface, implement whence for symbolic seek (#394) * add --file <symbolic file> flag * fix seek argument count error, add rudimentary whence support * symbolic file seek: fix docstring and semantics | 18 July 2017, 15:38:41 UTC |
47a5d97 | JP Smith | 17 July 2017, 18:06:42 UTC | Make save_stream pass through kwargs (#396) * make save_stream pass through kwargs * make base save_stream ok with extra [kw]args * make key argument explicit | 17 July 2017, 18:06:42 UTC |
ddc3b12 | JP Smith | 17 July 2017, 14:36:31 UTC | Fixed CHANGELOG.md typo (#395) | 17 July 2017, 14:36:31 UTC |
9711521 | JP Smith | 14 July 2017, 22:01:14 UTC | add pypi badge to README.md (#391) | 14 July 2017, 22:01:14 UTC |
4bb48af | JP Smith | 14 July 2017, 15:56:21 UTC | Manticore 0.1.3 (#390) * Manticore 0.1.3 * fix compare URL | 14 July 2017, 15:56:21 UTC |
13964d0 | JP Smith | 13 July 2017, 17:57:18 UTC | create workspace before running manticore to make memdump tests pass (#388) | 13 July 2017, 17:57:18 UTC |
03ee876 | Mark Mossberg | 13 July 2017, 15:57:07 UTC | Add basic documentation on function modeling (#386) * Add basic models docs * Phrasing * Minor fixes | 13 July 2017, 15:57:07 UTC |
60fa4c2 | JP Smith | 12 July 2017, 22:11:08 UTC | Fix memdump tests broken by dev-events (#377) * fix memdump tests broken by dev-events * switch to superset check to account for timeout differences | 12 July 2017, 22:11:08 UTC |
45d5b9f | Yan | 12 July 2017, 21:50:24 UTC | New state serialization (#376) * Fix naming * Separate storage from workspace * Begin removing output generation from manticore.py * Split up workspace and output * Create a separation between output and workspace * Get it to a working (hacky) state * Start bringing state serialization into workspace * More mcore->workspace moves * Remove unused imports * Update serializers; add interface * move state saving to workspace * can now save/load states and testcases * Add redis as backend * Implement streams in terms of values and vice versa * Implement `ls` and move workspace loading to Workspace * Better workspace initialization * Fix how --workspace is parsed for tests * update tests to new workspace indexes * Fix state storage and handling * Doc updates and extra error checking * pep8 style changes * Add Executor's 'sync' * Remove previous workspace artifacts from Executor * Comment out constraints check assert * Centralize locking to new testcase ids * Fix testcase generation * pep8 updates * propagate descriptor instead of path * Add an in-memory state store * Make memory maps be sortable * Allow to produce an empty state * Add workspace tests * Make Memory.__cmp__() more robust | 12 July 2017, 21:50:24 UTC |
f134ad6 | JP Smith | 11 July 2017, 20:02:32 UTC | Check for negative fds in fstat (#384) * check for negative fds in fstat * use _get_fd | 11 July 2017, 20:02:32 UTC |
c887fb1 | JP Smith | 11 July 2017, 16:06:33 UTC | Fix script verbosity (#382) * fix script verbosity * show manticore logger * remove unused MAIN logger | 11 July 2017, 16:06:33 UTC |
b47f0cf | JP Smith | 11 July 2017, 15:36:38 UTC | fix lowering verbosity (#383) | 11 July 2017, 15:36:38 UTC |
b6a7137 | JP Smith | 07 July 2017, 19:43:52 UTC | Remove md5 tests and replace with set comparison (#374) * remove md5 tests and replace with comparison * fix directory path issue * remove exact check as test is not deterministic * fix argument assertion test and remove cdet_visited.txt * allow extra addresses in actual to account for inter-machine differences | 07 July 2017, 19:43:52 UTC |
e4102e5 | Mark Mossberg | 30 June 2017, 21:47:55 UTC | Catch and refactor MemoryExceptions (#370) * initial * Clean, only store address in message if not symbolic If it's symbolic,it renders like Generating testcase No. 2 - Invalid symbolic memory access (mode:r) <<manticore.core.smtlib.expression.BitVecAnd object at 0x7fd6dcd14410>> which is not useful output to the user. * Format as hex * Fix tests * Rm comments | 30 June 2017, 21:47:55 UTC |
fcb375a | JP Smith | 29 June 2017, 21:38:41 UTC | stop double-logging error traces (#369) | 29 June 2017, 21:38:41 UTC |
bd89bfe | Yan | 29 June 2017, 20:03:10 UTC | Only iterate instance variables for forward_signals() (#367) | 29 June 2017, 20:03:10 UTC |
f58cac7 | Corbin Riggs | 29 June 2017, 18:00:34 UTC | Fixes ConcretizeArgument Misspelling (#366) | 29 June 2017, 18:00:34 UTC |
fcf0024 | JP Smith | 29 June 2017, 16:02:31 UTC | Fix capstone MOV issue (#365) * add temporary workaround for capstone bug * rename cs to rest | 29 June 2017, 16:02:31 UTC |
7c00b44 | Mark Mossberg | 28 June 2017, 18:58:23 UTC | Update docs (#360) * Update State docs * Update manticore docs * Document models * Doc models * Use sphinx link | 28 June 2017, 18:58:23 UTC |
b197a47 | Mark Mossberg | 27 June 2017, 23:18:41 UTC | Adjust verbosity settings (#358) * Show "Generating testcase" message by default * Rephrase program finished to be less obtuse * Rm excessive debug print | 27 June 2017, 23:18:41 UTC |
7d3d9a9 | Garret Reece | 27 June 2017, 18:52:20 UTC | lsl.w in thumb mode fixed, plus tests (#350) - blx <Rm> swaps mode appropriately - asr.w and lsr.w in thumb mode handle immediates for op2 correctly - unit tests for thumb mode behavior for shifting instructions - unit tests check for correct mode on BX and BLX instructions | 27 June 2017, 18:52:20 UTC |