코드마인드
코드마인드 주식회사(대표 김은중, 신승철)는 소프트웨어 분석 및 검증 전문기업이다[1]. 프로그램 분석 및 프로그램 검증 분야를 연구해 온 교수, 연구원 출신이 2013년에 설립하였다. 2021년 투자유치를 통해 이글로코퍼레이션의 자회사로 편입했고[2] 2022년 디아이섹과 합병하였다[3]. 시큐어코딩 진단을 위한 정적 테스팅 도구[4], 화이트박스 동적 테스팅을 위한 자동검증 도구[5] 등을 개발 공급한다.
| 창립 | 2013년 |
|---|---|
| 창립자 | 신승철 |
| 본사 소재지 | 본사: 대구시 동구 첨복로 27 해동빌딩 (연구소: 서울시 구로구 디지털로 26길 61) |
핵심 인물 | 김은중(대표이사), 신승철(대표이사) |
| 제품 | Coyote C++ 단위 테스팅 도구 CodeMind 소스코드 정적분석 도구 |
종업원 수 | 80명 |
| 웹사이트 | www.codemind.co.kr |
코드마인드는 세계수준의 정적 프로그램 분석 기술과 기호 실행 기술을 개발하여 소프트웨어 보안 및 안전 기술분야를 선도하고 있다[6]. 또한 서울대 SW무결점 연구센터, 고려대 고품질융합SW 연구센터, 프로그래밍언어 연구회, 경북대 SW재난연구센터, KAIST 사이버보안연구센터 등과 산학협약을 맺고 산학연구교류를 활발하게 진행하고 있다.
정적분석 기술
편집코드마인드 정적분석 기술은 그래프 DB 기반 코드분석 프레임워크를 이용한 특허 기술로서 다음의 특징을 나타낸다[7].
- 온더플라이 정적분석
- 최신 요약해석 프레임워크
- 결함추적 그래프
- 변경분 우선분석
심볼릭 테스팅 기반 자동 검증 기술
편집코드마인드 자동 테스팅 기술은 심볼릭 테스팅과 머신러닝 휴리스틱을 융합한 자동 검증 기술이다.
- 최신 심볼릭 테스팅 기법(콘콜릭 테스팅)
- 사상 최고 성능의 테스트케이스 자동 생성
- 머신러닝 통한 코드 커버리지 극대화 기술
- 정적분석 이용한 테스트 하니스 자동생성 기술
- 자동차 전장, 로봇, 통신, 게임 등에 적용
제품
편집코드마인드는 정적 테스팅 도구 CodeMind CSI/CQI와 동적 테스팅 도구 Coyote C++, 소프트웨어 구성분석 도구 Hatter SCA를 공급한다.
- CodeMind CSI/CQI: 정적 테스팅을 통한 시큐어코딩 진단 및 소스코드 품질 진단 기능 제공
- Coyote C++: 강력한 테스트케이스 생성 및 테스트하니스 생성을 통해 완전 자동 단위 테스트를 실현
- Hatter SCA: 소프트웨어 부품명세서(BOM) 생성과 오픈소스 취약점 및 라이선스 관리 기능을 제공
인증, 수상, 평판
편집- CC인증(2016년 10월 17일): CODEMIND 1.5 (인증번호: NISS-0753-2016)
- GS인증(2017년 1월 9일): CODEMIND Browser v1.0 (인증번호: 17-0018)
- GS인증(2017년 7월 12일): CODEMIND 1.5 (인증번호: 17-0267)
- 성능인증(2017년 11월)
- 2017년 디지털이노베이션 대상 수상[8]
- 2018년 상반기 벤처창업혁신 조달상품 선정
- 2018년 글로벌SW 공모대전 수상[9]
- 2018년 SW품질대상 수상[10]
- 전자신문 2018년 상반기 인기상품 브랜드 우수품목 선정
- 디지털타임스 2018년 상반기 히트상품 소비자 추천품목 선정
- ISO 9001:2015 인증
- CC 인증(2020년 4월 24일): CODEMIND 3.6 (인증번호: ISIS-1008-2020)
- 전자정부 표준프레임워크 호환성인증
- ISO 26262-8:2018 인증 (Coyote 4.6)
각주
편집- ↑ “공식사이트”. 2017년 9월 8일에 원본 문서에서 보존된 문서. 2017년 7월 18일에 확인함.
- ↑ 코드마인드, 이글루시큐리티 투자유치
- ↑ 코드마인드, 디아이섹과 합병
- ↑ 코드마인드 소스코드 진단 개척자
- ↑ COYOTE 자동테스팅 도구 품질우수 인기상품 선정
- ↑ 오학주, 한국정보과학회지, 37권, 3호, pp.54-55, 2019
- ↑ 신승철, 한국정보과학회지, 35권 2호, pp.9-13, 2017
- ↑ 2017년 디지털이노베이션 대상 수상
- ↑ 2018년 글로벌SW 공모대전 동상 수상
- ↑ 2018년 SW품질대상 우수상 수상
외부 링크
편집- 코드마인드 공식 홈페이지 Archived 2017년 9월 8일 - 웨이백 머신
- 코드마인드 공식 블로그
- Top Software Testing Solutions Provider award by APAC CIO Outlook 2023
- 코드마인드 기관 탐방 기사(한국정보과학회지 2019년 3월호) Archived 2019년 3월 29일 - 웨이백 머신
- 해킹불가 프로그램 생성기술(한국정보과학회지 2018년 3월호) Archived 2018년 7월 11일 - 웨이백 머신
- 코드마인드 정적분석기술 관련 논문 (한국정보과학회지 2017년 2월호) Archived 2018년 7월 11일 - 웨이백 머신