| 533 | } |
| 534 | |
| 535 | VOID |
| 536 | WriteMapToJsonFile(IMG img, VOID* _v) |
| 537 | { |
| 538 | ADDRINT high = IMG_HighAddress(img); |
| 539 | ADDRINT low = IMG_LowAddress(img); |
| 540 | const std::string& name = IMG_Name(img); |
| 541 | fprintf(MapFile, |
| 542 | "{\"name\":\"%s\",\"low\":\"%p\",\"high\":\"%p\"}\n", |
| 543 | name.c_str(), |
| 544 | (VOID*)low, |
| 545 | (VOID*)high); |
| 546 | } |