우리 "코드분석기술팀 🐱(CodeAnalysisTechnology)" 은...
슈어소프트 화이트 박스 테스트 도구들의 원천기술을 개발합니다
유니버셜 파싱기술
- 사용자 C/C++ 코드를 정교하게 읽어내는 파서를 개발합니다.
- Visual Studio, GCC, Clang, IAR, NXP, Intel 등 200개 이상의 컴파일러를 정교하게 설정하고 파싱할 수 있는 엔진을 개발 합니다.
심볼릭 실행 기술 & 퍼징
- 바이너리 레벨의 심볼릭 실행 기술을 개발합니다.
- 사용자 개입 없이 테스팅을 완전 자동화하는 메커니즘을 연구하고, 실체화 합니다.
- 심볼릭 실행 기반 테스트 데이터 자동 생성 도구인 DISCOVERY 제품을 개선합니다.
정적 의미 분석 기술
- 요약해석 기반의 정적 의미분석 엔진을 개발합니다.
- 더 많은 결함을 높은 탐지 정확도를 가지고 검출 할 수 있도록 개선합니다.
- 개발자들이 개발하는 동안 사용할 수 있도록 성능을 최적화 합니다.
차세대 원천기술 연구
- 기존 테스트를 기반으로 코드수정시 발생하는 결함 원인을 자동으로 찾는 기술을 연구합니다.
- 모든 테스트가 정상 수행되는 최적의 코드 조각(패치) 를 찾는 연구를 수행합니다.
- 국내외 선도 연구실의 다양한 연구성과를 제품화 합니다
Posts
테스트 케이스 생성 자동화로 소프트웨어 품질 확보하기ㅣ단위통합 테스트ㅣ슈어소프트 세미나
DISCOVERY | 소프트웨어 버그 검출 | 테스팅 자동화 전략 | 슈어소프트 세미나
재미로 보는 기술의 방향성ㅣ 연구 동향 ㅣ슈어소프트 기술 컨퍼런스
DISCOVERY | 소프트웨어 버그 검출 | 테스팅 자동화 전략 | 슈어소프트 세미나
퍼징 검증 자동화를 통한 알려지지 않은 취약점 도출 방법ㅣ 지능형 모빌리티 SW 검증 자동화 | 슈어소프트 세미나
테스팅 자동화를 통한 SW 버그 검출 전략ㅣ 지능형 모빌리티 SW 검증 자동화 | 슈어소프트 세미나
퍼징 검증을 통한 보안 취약점 도출ㅣ시뮬레이션 검증ㅣ2023 Sure Mobility Innovation Conference
👋 이런 사람을 찾고 있습니다
C/C++ 프로그래머 - C/C++ 언어 파싱 및 프로그램 구조 정보 추출 엔진 개발