Flawfinder version 2.0.10, (C) 2001-2019 David A. Wheeler.
Number of rules (primarily dangerous function names) in C/C++ ruleset: 223
Examining data/coq-doc-8.6/dev/build/windows/patches_coq/ln.c
Examining data/coq-doc-8.6/kernel/byterun/coq_values.h
Examining data/coq-doc-8.6/kernel/byterun/coq_memory.h
Examining data/coq-doc-8.6/kernel/byterun/coq_values.c
Examining data/coq-doc-8.6/kernel/byterun/coq_fix_code.c
Examining data/coq-doc-8.6/kernel/byterun/coq_gc.h
Examining data/coq-doc-8.6/kernel/byterun/coq_instruct.h
Examining data/coq-doc-8.6/kernel/byterun/coq_memory.c
Examining data/coq-doc-8.6/kernel/byterun/coq_interp.h
Examining data/coq-doc-8.6/kernel/byterun/coq_fix_code.h
Examining data/coq-doc-8.6/kernel/byterun/coq_interp.c
Examining data/coq-doc-8.6/ide/ide_win32_stubs.c

FINAL RESULTS:


ANALYSIS SUMMARY:

No hits found.
Lines analyzed = 2403 in approximately 2.82 seconds (853 lines/second)
Physical Source Lines of Code (SLOC) = 1858
Hits@level = [0]  12 [1]   0 [2]   0 [3]   0 [4]   0 [5]   0
Hits@level+ = [0+]  12 [1+]   0 [2+]   0 [3+]   0 [4+]   0 [5+]   0
Hits/KSLOC@level+ = [0+] 6.45856 [1+]   0 [2+]   0 [3+]   0 [4+]   0 [5+]   0
Dot directories skipped = 1 (--followdotdir overrides)
Minimum risk level = 1
There may be other security vulnerabilities; review your code!
See 'Secure Programming HOWTO'
(https://dwheeler.com/secure-programs) for more information.