index
:
testdisk
dev
master
TestDisk & PhotoRec
Christophe GRENIER
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
src
/
file_mkv.c
Commit message (
Expand
)
Author
Age
Files
Lines
*
src/file_mkv.c: more frama-c annotations
Christophe Grenier
2023-12-27
1
-0
/
+3
*
src/file_mkv.c: improve Frama-C annotations
Christophe Grenier
2023-10-08
1
-3
/
+10
*
src/file_mkv.c: improve Frama-C annotations
Christophe Grenier
2021-07-02
1
-8
/
+3
*
src/file_mkv.c: add frama-c annotations for header_check_mkv
Christophe Grenier
2021-02-24
1
-0
/
+11
*
src/file_mkv.c: rewrite mkv parser
Christophe Grenier
2020-10-25
1
-48
/
+125
*
PhotoRec: add an ifdef in each file for easier frama-c testing
Christophe Grenier
2020-09-11
1
-0
/
+2
*
Fix various warnings
Christophe Grenier
2018-03-15
1
-1
/
+1
*
PhotoRec: Remove min_header_distance from file_hint_t structure (code cleanup)
Christophe Grenier
2015-06-13
1
-1
/
+0
*
PhotoRec: add boundary check in src/file_mkv.c
Christophe Grenier
2013-04-28
1
-21
/
+8
*
Make some variables more local
Christophe Grenier
2012-09-10
1
-5
/
+5
*
Add missing header
Christophe Grenier
2011-12-28
1
-0
/
+3
*
Remove unused variable
Christophe Grenier
2011-11-06
1
-1
/
+0
*
PhotoRec: minimal EBML decoder to recover .mkv and .webm files
Nick Schrader
2011-11-06
1
-9
/
+140
*
PhotoRec: in FileOpts, press 's' to deselect all files or reset to default s...
Christophe Grenier
2008-02-27
1
-0
/
+1
*
Remove header_check from struct file_hint_struct
Christophe Grenier
2007-12-23
1
-1
/
+0
*
First version in git
Christophe Grenier
2007-10-29
1
-0
/
+66