소프트웨어 분석 연구실 (Software Analysis Laboratory)

Research Areas

We research on fundamental technologies for software analysis, including

• Static and dynamic program analysis 정적/동적 프로그램 분석
• Program synthesis 프로그램 자동 합성
• Program repair 프로그램 자동 수정
• Machine learning 소프트웨어 분석을 위한 기계학습

Introduction to our research

• Introduction to our research (2018.06)
• 소프트웨어 오류 자동 수정 기법 (2018.06)
• Data-Driven Static Analysis (2017.09)
• Static Analysis Research at Korea University (2016.06)
• 고성능 정적 프로그램 분석 기법 (정보과학회지 34권 3호)
• 프로그램 자동 생성 기술 (정보과학회 뉴스레터)
• 학부 졸업프로젝트 주제들
• 함수형 프로그램 자동수정 (2017.06)
• 명령형 프로그램 자동합성 (2016.12)
• 정규표현식 자동합성 (2016.06)
• Enough to check Collatz Conjecture for 16k+11

Software Releases

• Sparrow: A static analyzer for C programs (Commercial product)
  
• Simpl: A program synthesizer for imperative programs
• AlphaRegex: A regular expression synthesizer

Research Projects

• Data-Driven Program Analysis (프로그램 분석을 위한 기계학습)



• Automatic Program Synthesis and Repair (소프트웨어 자동 생성 및 오류 자동 수정)



• Selective X-Sensitivity Framework

• Global Sparse Analysis Framework