特集_02-04.Q3C

33 2-4 Buffer-Overflow Detection in C Program by Static Detection NAKAMURA Goichi, MAKINO Kyoko, and MURASE Ichiro Buffer_overflow is the most dangerous vulnerability implicit in C programs. whether a Buffer_oveflow emerges or not in the program runtime, is depend upon inputs of the C program. We developed algorithms and tools to detect buffer_overflows, not accidentally partial detection by monit

[dhrname]

「C プログラムの静的解析によるバッファオ ーバーフロー検出」