λ”₯ λŸ¬λ‹μ„ μ΄μš©ν•œ μ‹œμŠ€ν…œ 독립적 μ•…μ„±μ½”λ“œ 및
취약점 탐지 기술 개발

  • λ”₯ λŸ¬λ‹μ„ μ΄μš©ν•œ μ•…μ„±μ½”λ“œμ˜ 정적뢄석 기법연ꡬ
  • λ”₯ λŸ¬λ‹ 뢄석에 μ‚¬μš©ν•  μ›μ‹œμ μΈ 데이터λ₯Ό μƒμ„±ν•˜μ—¬ λΆ„λ₯˜ μž‘μ—… μˆ˜ν–‰
  • μƒˆλ‘œμš΄ λ”₯ λŸ¬λ‹ μΌλ°˜ν™” 기술의 고도화와 이λ₯Ό μ΄μš©ν•œ μ•…μ„±μ½”λ“œ 및
    취약점을 λ‚΄μž¬ν•œ μ‘μš© μ†Œν”„νŠΈμ›¨μ–΄μ— λŒ€ν•œ 정적 뢄석 λ°©λ²•μ˜ 고도화
  •  


    μ‘μš© S/W 톡신 ν”„λ‘œν† μ½œ 연ꡬ

  • μ†Œν”„νŠΈμ›¨μ–΄μ˜ μ—…λ°μ΄νŠΈ 톡신 ν”„λ‘œν† μ½œμ„ 동적/μ •μ μœΌλ‘œ λΆ„μ„ν•˜κ³ 
    κ²€μ¦ν•˜μ—¬ μ—…λ°μ΄νŠΈ 체계 νŒŒμ•…
  • λ„€νŠΈμ›Œν¬ νŒ¨ν‚· 캑처, ν”„λ‘œμ„ΈμŠ€ 및 파일 λͺ¨λ‹ˆν„°λ§
  • μ—…λ°μ΄νŠΈ 데이터λ₯Ό λ‹΄κ³  μžˆλŠ” 파일 λ°”μ΄λ„ˆλ¦¬ 뢄석
  • 뢄석 λ‚΄μš©μ„ ν† λŒ€λ‘œ μ—…λ°μ΄νŠΈ 톡신 ν”„λ‘œν† μ½œμ˜ λ³΄μ•ˆ μœ„ν˜‘ λ„μΆœ