Christophe Grenier
|
4e44db2b46
|
Improve Frama-C annotations
|
2022-07-14 10:09:09 +02:00 |
|
Christophe Grenier
|
e1124cc355
|
src/hfsp_struct.h: move struct from src/hfsp.h
src/file_hfsp.c: add frama-c annotations
|
2021-02-22 20:41:15 +01:00 |
|
Christophe Grenier
|
90d21a4d81
|
Constify more function parameters
|
2020-06-19 22:05:38 +02:00 |
|
Christophe Grenier
|
60b5424f53
|
Constify a lot of function parameters
|
2020-06-19 19:02:41 +02:00 |
|
Christophe Grenier
|
8c5c6b3410
|
New prototype for test_HFSP()
|
2016-01-23 10:11:43 +01:00 |
|
Christophe Grenier
|
0f8ec768e7
|
Add offset in hfs+ structure comment
|
2009-11-01 11:17:32 +01:00 |
|
Christophe Grenier
|
38ce287026
|
HFS+, HFSX: check the version field to reduce false positive
|
2009-01-10 15:51:30 +01:00 |
|
Christophe Grenier
|
9928d99936
|
First version in git
|
2007-10-29 22:38:52 +01:00 |
|