TestDisk

Settings | Report Duplicate

10

I Use This!

Activity Not Available

Commits : Listings

Analyzed 12 months ago. based on code collected 12 months ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Dec 19, 2023 — Jan 18, 2024 Showing page 2 of 2 Search / Filter on:
src/fidentify.c: more frama-c annotations	cgrenier as Christophe Grenier	More...				about 1 year ago
src/file_fs.c: more frama-c annotations	cgrenier as Christophe Grenier	More...				about 1 year ago
src/file_flv.c: more frama-c annotations	cgrenier as Christophe Grenier	More...				about 1 year ago
src/file_flac.c: add more frama-c annotations	cgrenier as Christophe Grenier	More...				about 1 year ago
src/file_fcs.c: more frama-c annotations	cgrenier as Christophe Grenier	More...				about 1 year ago
src/file_exe.c: more frama-c annotations	cgrenier as Christophe Grenier	More...				about 1 year ago
src/file_evt.c: more frama-c annotations	cgrenier as Christophe Grenier	More...				about 1 year ago
src/file_emf.c: more frama-c annotations	cgrenier as Christophe Grenier	More...				about 1 year ago
src/file_dxf.c: more frama-c annotations	cgrenier as Christophe Grenier	More...				about 1 year ago
src/file_dss.c: more frama-c annotations	cgrenier as Christophe Grenier	More...				about 1 year ago
src/file_ds2.c: more frama-c annotations	cgrenier as Christophe Grenier	More...				about 1 year ago
src/file_dovecot.c: more frama-c annotations	cgrenier as Christophe Grenier	More...				about 1 year ago
src/file_doc.c: more frama-c annotations	cgrenier as Christophe Grenier	More...				about 1 year ago
src/file_dad.c: more frama-c annotations	cgrenier as Christophe Grenier	More...				about 1 year ago
src/file_clip.c: more frama-c annotations	cgrenier as Christophe Grenier	More...				about 1 year ago
src/file_che.c: more frama-c annotations	cgrenier as Christophe Grenier	More...				about 1 year ago
src/file_caf.c: more frama-c annotations	cgrenier as Christophe Grenier	More...				about 1 year ago
src/file_bvr.c: more frama-c annotations	cgrenier as Christophe Grenier	More...				about 1 year ago
src/file_bld.c: more frama-c annotations	cgrenier as Christophe Grenier	More...				about 1 year ago
src/file_bac.c: more frama-c annotations	cgrenier as Christophe Grenier	More...				about 1 year ago
src/file_axx.c: more frama-c annotations	cgrenier as Christophe Grenier	More...				about 1 year ago
src/file_axp.c: more frama-c annotations	cgrenier as Christophe Grenier	More...				about 1 year ago
src/file_asf.c: more frama-c annotations	cgrenier as Christophe Grenier	More...				about 1 year ago
src/file_amr.c: add "terminates \true;" annotations to data_check_amr() and header_check_amr()	cgrenier as Christophe Grenier	More...				about 1 year ago
src/file_ace.c: more frama-c annotations	cgrenier as Christophe Grenier	More...				about 1 year ago
src/file_ab.c: frama-c - no endless loop in data_check_addressbook() and header_check_addressbook()	cgrenier as Christophe Grenier	More...				about 1 year ago
src/file_3dm.c: frama-c - header_check_3dm() terminates	cgrenier as Christophe Grenier	More...				about 1 year ago
src/filegen.[ch]: add more frama-c annotations	cgrenier as Christophe Grenier	More...				about 1 year ago
TestDisk: src/dirn.c - reduce dir_partition_aux() complexity	cgrenier as Christophe Grenier	More...				about 1 year ago
src/file_riff.[ch]: PhotoRec - fix potential endless loop	cgrenier as Christophe Grenier	More...				about 1 year ago

←
1
2
→