{{위키데이터 속성 추적}}
{{회사 정보
| 이름 = 코드마인드
| 원어 = CODEMIND Corporation
| 로고 = 
| 크기 = 
| 형태 = 
| 산업 = 
| 창립 = 2013년
| 창립자 = 신승철
| 장소 = 서울시 구로구 디지털로 26길 61
| 인물 = 신승철(대표이사)
| 대표 제품 = Coyote C++ 단위 테스팅 도구 CodeMind 소스코드 정적분석 도구
| 종업원 = 80명
| 웹사이트 = [http://www.codemind.co.kr/ www.codemind.co.kr]
}}

'''코드마인드 주식회사'''(대표 신승철)는 소프트웨어 분석 및 검증 전문기업이다<ref>{{웹 인용 |url=http://www.codemind.co.kr/ |제목=공식사이트 |확인날짜=2017-07-18 |archive-date=2017-09-08 |archive-url=https://web.archive.org/web/20170908104208/http://www.codemind.co.kr/ |url-status= }}</ref>. [[프로그램 분석]] 및 [[프로그램 검증]] 분야를 연구해 온 교수, 연구원 출신이 2013년에 설립하였다. [[시큐어코딩]] 진단을 위한 정적 테스팅 도구<ref>[https://www.etnews.com/20181022000335 코드마인드 소스코드 진단 개척자]</ref>, 화이트박스 동적 테스팅을 위한 자동검증 도구<ref>[https://www.etnews.com/20211217000224 COYOTE 자동테스팅 도구 품질우수 인기상품 선정]</ref> 등을 개발 공급한다.

코드마인드는 세계수준의 [[정적 프로그램 분석]] 기술과 [[기호 실행]] 기술을 개발하여 소프트웨어 보안 및 안전 기술분야를 선도하고 있다<ref>오학주, 한국정보과학회지, 37권, 3호, pp.54-55, 2019</ref>. 또한 서울대 SW무결점 연구센터, 고려대 고품질융합SW 연구센터, 프로그래밍언어 연구회, 경북대 SW재난연구센터, KAIST 사이버보안연구센터 등과 산학협약을 맺고 산학연구교류를 활발하게 진행하고 있다.

==정적분석 기술==
코드마인드 정적분석 기술은 그래프 DB 기반 코드분석 프레임워크를 이용한 특허 기술로서 다음의 특징을 나타낸다<ref>신승철, 한국정보과학회지, 35권 2호, pp.9-13, 2017</ref>.
* 온더플라이 정적분석
* 최신 요약해석 프레임워크
* 결함추적 그래프
* 변경분 우선분석

==심볼릭 테스팅 기반 자동 검증 기술==
코드마인드 자동 테스팅 기술은 심볼릭 테스팅과 머신러닝 휴리스틱을 융합한 자동 검증 기술이다.
* 최신 심볼릭 테스팅 기법(콘콜릭 테스팅)
* 사상 최고 성능의 테스트케이스 자동 생성
* 머신러닝 통한 코드 커버리지 극대화 기술
* 정적분석 이용한 테스트 하니스 자동생성 기술
* 자동차 전장, 로봇, 통신, 게임 등에 적용

==제품==
코드마인드는 정적 테스팅 도구 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년 디지털이노베이션 대상 수상<ref>[https://www.hankookilbo.com/News/Read/201709271962979321 2017년 디지털이노베이션 대상 수상]</ref>
* 2018년 상반기 벤처창업혁신 조달상품 선정
* 2018년 글로벌SW 공모대전 수상<ref>[https://www.etnews.com/20181211000184 2018년 글로벌SW 공모대전 동상 수상]</ref>
* 2018년 SW품질대상 수상<ref>[https://www.etnews.com/20181207000063 2018년 SW품질대상 우수상 수상]</ref>
* 전자신문 2018년 상반기 인기상품 브랜드 우수품목 선정
* 디지털타임스 2018년 상반기 히트상품 소비자 추천품목 선정
* ISO 9001:2015 인증
* CC 인증(2020년 4월 24일): CODEMIND 3.6 (인증번호: ISIS-1008-2020)
* 전자정부 표준프레임워크 호환성인증
* ISO 26262-8:2018 인증 (Coyote 4.6)

== 각주 ==
<references/>

== 외부 링크 ==
* [http://www.codemind.co.kr/ 코드마인드 공식 홈페이지] {{웨이백|url=http://www.codemind.co.kr/ |date=20170908104208 }}
* [https://blog.naver.com/codemind 코드마인드 공식 블로그]
* [https://www.apacciooutlook.com/codemind-corporation Top Software Testing Solutions Provider award by APAC CIO Outlook 2023]
* [http://blog.codemind.co.kr/221500503413 코드마인드 기관 탐방 기사(한국정보과학회지 2019년 3월호)] {{웨이백|url=http://blog.codemind.co.kr/221500503413 |date=20190329070804 }}
* [http://www.codemind.co.kr/?p=16877 해킹불가 프로그램 생성기술(한국정보과학회지 2018년 3월호)] {{웨이백|url=http://www.codemind.co.kr/?p=16877 |date=20180711062730 }}
* [http://www.codemind.co.kr/?p=16428 코드마인드 정적분석기술 관련 논문 (한국정보과학회지 2017년 2월호)] {{웨이백|url=http://www.codemind.co.kr/?p=16428 |date=20180711055357 }}
 
[[분류:2013년 설립된 기업]]
[[분류:대한민국의 IT 기업]]