https://github.com/charguer/ocaml
History
Tip revision: 5eb4d9b3e473ba626b073444660683da73dd7c40 authored by charguer on 11 May 2016, 12:08:44 UTC
Missing check in Array.sub which allows to read arbitrary data and segfault
Tip revision: 5eb4d9b
File Mode Size
.depend -rw-r--r-- 11.4 KB
.ignore -rw-r--r-- 79 bytes
Makefile -rw-r--r-- 871 bytes
Makefile.nt -rw-r--r-- 870 bytes
Makefile.shared -rw-r--r-- 3.5 KB
breakpoints.ml -rw-r--r-- 6.6 KB
breakpoints.mli -rw-r--r-- 2.1 KB
checkpoints.ml -rw-r--r-- 2.6 KB
checkpoints.mli -rw-r--r-- 2.1 KB
command_line.ml -rw-r--r-- 39.1 KB
command_line.mli -rw-r--r-- 1.1 KB
debugcom.ml -rw-r--r-- 8.1 KB
debugcom.mli -rw-r--r-- 3.1 KB
debugger_config.ml -rw-r--r-- 2.6 KB
debugger_config.mli -rw-r--r-- 1.5 KB
eval.ml -rw-r--r-- 7.6 KB
eval.mli -rw-r--r-- 1.5 KB
events.ml -rw-r--r-- 1.6 KB
events.mli -rw-r--r-- 1.2 KB
exec.ml -rw-r--r-- 1.7 KB
exec.mli -rw-r--r-- 1004 bytes
frames.ml -rw-r--r-- 4.2 KB
frames.mli -rw-r--r-- 2.2 KB
history.ml -rw-r--r-- 1.5 KB
history.mli -rw-r--r-- 995 bytes
input_handling.ml -rw-r--r-- 3.5 KB
input_handling.mli -rw-r--r-- 2.1 KB
int64ops.ml -rw-r--r-- 1.1 KB
int64ops.mli -rw-r--r-- 1.1 KB
lexer.mli -rw-r--r-- 1.0 KB
lexer.mll -rw-r--r-- 2.6 KB
loadprinter.ml -rw-r--r-- 5.7 KB
loadprinter.mli -rw-r--r-- 1.3 KB
main.ml -rw-r--r-- 7.1 KB
parameters.ml -rw-r--r-- 1.4 KB
parameters.mli -rw-r--r-- 1.2 KB
parser.mly -rw-r--r-- 6.3 KB
parser_aux.mli -rw-r--r-- 1.5 KB
pattern_matching.ml -rw-r--r-- 8.9 KB
pattern_matching.mli -rw-r--r-- 1.1 KB
pos.ml -rw-r--r-- 1.2 KB
pos.mli -rw-r--r-- 863 bytes
primitives.ml -rw-r--r-- 3.7 KB
primitives.mli -rw-r--r-- 2.2 KB
printval.ml -rw-r--r-- 3.2 KB
printval.mli -rw-r--r-- 1.4 KB
program_loading.ml -rw-r--r-- 5.0 KB
program_loading.mli -rw-r--r-- 1.3 KB
program_management.ml -rw-r--r-- 4.6 KB
program_management.mli -rw-r--r-- 1.2 KB
question.ml -rw-r--r-- 1.7 KB
question.mli -rw-r--r-- 883 bytes
show_information.ml -rw-r--r-- 3.8 KB
show_information.mli -rw-r--r-- 1.3 KB
show_source.ml -rw-r--r-- 3.4 KB
show_source.mli -rw-r--r-- 1.2 KB
source.ml -rw-r--r-- 5.3 KB
source.mli -rw-r--r-- 2.3 KB
symbols.ml -rw-r--r-- 6.1 KB
symbols.mli -rw-r--r-- 1.9 KB
time_travel.ml -rw-r--r-- 20.1 KB
time_travel.mli -rw-r--r-- 1.5 KB
trap_barrier.ml -rw-r--r-- 1.7 KB
trap_barrier.mli -rw-r--r-- 1.3 KB
unix_tools.ml -rw-r--r-- 5.2 KB
unix_tools.mli -rw-r--r-- 1.4 KB

back to top