states per second: 468.75 state count: 15 mips: 0.556219 version: 4.3.6+b8f657ddf59e architecture: Intel(R) Core(TM) i7-6820HQ CPU @ 2.70GHz memory used: 734124 physical memory used: 242996 user time: 1.617197 system time: 0.076497 wall time: 1.525529 fragment memory: total: { items: 176, used: 1739411, held: 2652496 } 1: { items: 6, used: 6, held: 12264 } 2: { items: 1, used: 2, held: 4088 } 4: { items: 3, used: 12, held: 12264 } 5: { items: 0, used: 0, held: 4088 } 6: { items: 1, used: 6, held: 4088 } 8: { items: 10, used: 80, held: 16352 } 9: { items: 1, used: 9, held: 4080 } 16: { items: 13, used: 208, held: 12240 } 20: { items: 2, used: 40, held: 8160 } 24: { items: 8, used: 192, held: 20400 } 25: { items: 0, used: 0, held: 4064 } 32: { items: 18, used: 576, held: 20320 } 33: { items: 0, used: 0, held: 8160 } 36: { items: 1, used: 36, held: 12240 } 37: { items: 1, used: 37, held: 8160 } 40: { items: 4, used: 160, held: 12240 } 41: { items: 1, used: 41, held: 8160 } 44: { items: 3, used: 132, held: 16320 } 48: { items: 0, used: 0, held: 12240 } 49: { items: 1, used: 49, held: 12264 } 50: { items: 1, used: 50, held: 12264 } 52: { items: 1, used: 52, held: 4088 } 53: { items: 1, used: 53, held: 20440 } 56: { items: 4, used: 224, held: 16352 } 57: { items: 0, used: 0, held: 4032 } 58: { items: 1, used: 58, held: 8064 } 60: { items: 2, used: 120, held: 8064 } 64: { items: 3, used: 192, held: 12096 } 65: { items: 1, used: 65, held: 8064 } 67: { items: 0, used: 0, held: 4032 } 68: { items: 1, used: 68, held: 4032 } 69: { items: 1, used: 69, held: 16128 } 70: { items: 1, used: 70, held: 12096 } 72: { items: 5, used: 360, held: 16128 } 73: { items: 3, used: 219, held: 12240 } 74: { items: 0, used: 0, held: 4080 } 77: { items: 1, used: 77, held: 16320 } 78: { items: 1, used: 78, held: 16320 } 79: { items: 0, used: 0, held: 4080 } 80: { items: 12, used: 960, held: 20400 } 81: { items: 1, used: 81, held: 8096 } 82: { items: 0, used: 0, held: 16192 } 84: { items: 0, used: 0, held: 12144 } 86: { items: 0, used: 0, held: 4048 } 87: { items: 0, used: 0, held: 4048 } 88: { items: 2, used: 176, held: 8096 } 89: { items: 0, used: 0, held: 4032 } 90: { items: 1, used: 90, held: 4032 } 91: { items: 1, used: 91, held: 20160 } 93: { items: 0, used: 0, held: 4032 } 94: { items: 0, used: 0, held: 4032 } 96: { items: 5, used: 480, held: 16128 } 97: { items: 0, used: 0, held: 16224 } 99: { items: 0, used: 0, held: 4056 } 104: { items: 1, used: 104, held: 4056 } 105: { items: 1, used: 105, held: 12096 } 108: { items: 2, used: 216, held: 4032 } 109: { items: 1, used: 109, held: 4032 } 110: { items: 0, used: 0, held: 4032 } 112: { items: 1, used: 112, held: 4032 } 114: { items: 1, used: 114, held: 4080 } 117: { items: 1, used: 117, held: 12240 } 119: { items: 0, used: 0, held: 4080 } 120: { items: 1, used: 120, held: 4080 } 124: { items: 0, used: 0, held: 3968 } 125: { items: 1, used: 125, held: 3968 } 129: { items: 1, used: 129, held: 4080 } 130: { items: 0, used: 0, held: 12240 } 131: { items: 1, used: 131, held: 4080 } 133: { items: 1, used: 133, held: 8160 } 134: { items: 1, used: 134, held: 4080 } 138: { items: 0, used: 0, held: 4032 } 141: { items: 0, used: 0, held: 12096 } 148: { items: 0, used: 0, held: 3952 } 150: { items: 0, used: 0, held: 3952 } 152: { items: 2, used: 304, held: 7904 } 154: { items: 0, used: 0, held: 4000 } 156: { items: 3, used: 468, held: 16000 } 158: { items: 2, used: 316, held: 8000 } 161: { items: 1, used: 161, held: 4032 } 162: { items: 2, used: 324, held: 20160 } 167: { items: 0, used: 0, held: 4032 } 177: { items: 0, used: 0, held: 4048 } 181: { items: 0, used: 0, held: 4048 } 183: { items: 0, used: 0, held: 12144 } 194: { items: 1, used: 194, held: 4000 } 210: { items: 0, used: 0, held: 3888 } 219: { items: 0, used: 0, held: 4032 } 222: { items: 0, used: 0, held: 12096 } 232: { items: 0, used: 0, held: 3944 } 239: { items: 0, used: 0, held: 4080 } 245: { items: 0, used: 0, held: 3968 } 251: { items: 0, used: 0, held: 3840 } 255: { items: 1, used: 255, held: 3840 } 256: { items: 1, used: 256, held: 3840 } 272: { items: 4, used: 1088, held: 12240 } 276: { items: 1, used: 276, held: 3920 } 291: { items: 1, used: 291, held: 3848 } 296: { items: 1, used: 296, held: 3848 } 304: { items: 0, used: 0, held: 3952 } 307: { items: 0, used: 0, held: 4056 } 316: { items: 0, used: 0, held: 11520 } 319: { items: 1, used: 319, held: 3840 } 331: { items: 1, used: 331, held: 4032 } 344: { items: 0, used: 0, held: 11352 } 361: { items: 0, used: 0, held: 8096 } 362: { items: 0, used: 0, held: 4048 } 370: { items: 1, used: 370, held: 3760 } 433: { items: 1, used: 433, held: 3960 } 440: { items: 1, used: 440, held: 3960 } 502: { items: 1, used: 502, held: 4032 } 587: { items: 0, used: 0, held: 3552 } 679: { items: 2, used: 1358, held: 4080 } 1197: { items: 1, used: 1197, held: 3600 } 1320: { items: 6, used: 7920, held: 15840 } 1338: { items: 2, used: 2676, held: 12096 } 666752: { items: 1, used: 666752, held: 666752 } 1046016: { items: 1, used: 1046016, held: 1046016 } snapshot memory: total: { items: 15, used: 5496, held: 43304 } 60: { items: 1, used: 60, held: 4032 } 72: { items: 0, used: 0, held: 4032 } 120: { items: 0, used: 0, held: 4080 } 228: { items: 1, used: 228, held: 3944 } 288: { items: 1, used: 288, held: 4032 } 360: { items: 2, used: 720, held: 7920 } 420: { items: 10, used: 4200, held: 15264 } fragment table: { used: 80, capacity: 256 } snapshot table: { used: 15, capacity: 256 } input file: malloc.c compile options: - malloc.c input options: divine.bcname: "malloc.c" dios config: leak check: [ "exit" ] smt solver: stp property type: safety timers: lart: 0.512 loader: 0.572 boot: 0.053 search: 0.032 ce: 0.088 error found: yes error trace: | [0] malloc: Success LEAK: weak* fbe0520f 0 FAULT: [0] FATAL: memory leak in userspace machine trace: - choices: 0/1 0/2 interrupts: C/1877/276:28 - choices: 0/1 interrupts: C/86/276:28 - choices: 0/1 interrupts: C/86/276:28 - choices: 0/1 interrupts: C/86/276:28 - choices: 0/1 interrupts: C/86/276:28 - choices: 0/1 interrupts: C/521/184:45 - choices: 0/1 interrupts: C/908/276:28 - choices: 0/1 interrupts: C/86/276:28 - choices: 0/1 interrupts: C/86/276:28 - choices: 0/1 interrupts: C/86/276:28 - choices: 0/1 interrupts: C/86/276:28 - choices: 0/1 interrupts: C/842/184:98 - choices: 0/1 interrupts: "" active stack: - symbol: void __dios::FaultBase::handler<__dios::Upcall<__dios::fs::VFS<__dios::ProcessManager<__dios::Fault<__dios::Scheduler<__dios::Base> > > > > >(_VM_Fault, _VM_Frame*, void (*)()) location: /dios/include/dios/sys/fault.hpp:118 pc: code* 802bf 4 address: heap* 825e109a 0+0 - symbol: __dios_fault location: /dios/src/arch/divm/fault.c:12 pc: code* 80544 1b address: heap* 6abe8348 0+0 - symbol: _exit location: /dios/src/libc/sys/start.cpp:61 pc: code* 80123 a address: heap* b72b8e24 0+0 - symbol: _Exit location: /dios/src/libc/stdlib/_Exit.c:19 pc: code* 80113 7 address: heap* 1160628d 0+0 - symbol: exit location: /dios/src/libc/stdlib/exit.c:6 pc: code* 800da 6 address: heap* c169917c 0+0 - symbol: __dios_start location: /dios/src/libc/sys/start.cpp:108 pc: code* 80126 35h address: heap* 47fc22b9 0+0