Logging huge messages makes kernel crashing
ID0000624: This issue was created automatically from Mantis Issue 624. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0000624 | Frama-C | Kernel | public | 2010-11-10 | 2014-03-13 |
| Reporter | teamod | Assigned To | correnson | Resolution | fixed |
| Priority | urgent | Severity | crash | Reproducibility | always |
| Platform | - | OS | - | OS Version | - |
| Product Version | Frama-C Boron-20100401 | Target Version | Frama-C Neon-20140301 | Fixed in Version | Frama-C Neon-20140301 |
Description :
The environment is exactly the same as described in 0000623, below is the output.
[kernel] The full backtrace is: Raised by primitive operation at file "src/kernel/log.ml", line 201, characters 9-24 Called from file "format.ml", line 299, characters 4-28 Called from file "format.ml", line 428, characters 6-72 Called from file "format.ml", line 435, characters 6-24 Called from file "format.ml", line 1152, characters 8-28 Called from file "format.ml", line 1157, characters 10-25 Called from file "external/ptmap.ml", line 153, characters 3-15 Called from file "external/ptmap.ml", line 153, characters 3-15 Called from file "external/ptmap.ml", line 153, characters 3-15 Called from file "external/ptmap.ml", line 153, characters 3-15 Called from file "external/ptmap.ml", line 153, characters 3-15 Called from file "external/ptmap.ml", line 153, characters 3-15 Called from file "external/ptmap.ml", line 153, characters 3-15 Called from file "external/ptmap.ml", line 153, characters 3-15 Called from file "external/ptmap.ml", line 153, characters 3-15 Called from file "format.ml", line 1157, characters 10-25 Called from file "format.ml", line 1157, characters 10-25 Called from file "format.ml", line 1157, characters 10-25 Called from file "src/memory_state/offsetmap.ml", line 265, characters 6-66 Called from file "src/lib/rangemap.ml", line 172, characters 20-25 Called from file "format.ml", line 1157, characters 10-25 Called from file "format.ml", line 1157, characters 10-25 Called from file "external/ptmap.ml", line 535, characters 16-35 Called from file "external/ptmap.ml", line 535, characters 16-35 Called from file "external/ptmap.ml", line 535, characters 16-35 Called from file "external/ptmap.ml", line 535, characters 16-35 Called from file "external/ptmap.ml", line 535, characters 16-35 Called from file "external/ptmap.ml", line 535, characters 16-35 Called from file "external/ptmap.ml", line 535, characters 16-35 Called from file "external/ptmap.ml", line 535, characters 16-35 Called from file "external/ptmap.ml", line 535, characters 16-35 Called from file "external/ptmap.ml", line 535, characters 16-35 Called from file "external/ptmap.ml", line 535, characters 16-35 Called from file "src/memory_state/lmap.ml", line 290, characters 4-43 Called from file "src/memory_state/relations_type.ml", line 750, characters 4-43 Called from file "format.ml", line 1157, characters 10-25 Called from file "queue.ml", line 134, characters 6-20 Called from file "queue.ml", line 134, characters 6-20 Called from file "src/kernel/boot.ml", line 50, characters 4-20 Called from file "src/kernel/cmdline.ml", line 170, characters 4-8
Unexpected error (Invalid_argument("String.create")).
Please report as 'crash' at http://bts.frama-c.com