Coverity를 사용하고 있는 곳.. 현재 Coverty를 이용하여 소스 코드 분석을 수행하고 있는 레퍼런스입니다. 삼성전자 : 14개 사업부 삼성광주전자 삼성테크윈 LG전자 : 3개 사업부 LCD TV연구소, HE Media, BS Company 한국GE 휴맥스 네오플 이미르 ETRI KTFT 골프존 인프라웨어 디오텍 Coverity를 이용하여 컨설팅을 진행했거나 사용했던 사이트입니다. LG Telecom 어울림정보기술 가온미디어 뉴그리드테크놀로지 더보기 정적 분석 결과 : 안드로이드 소스코드에 고위험(High Risk) 결함 있다. Coverity에서 Android 소스 코드를 분석했습니다. ‘Coverity Scan : 2010 리포트’에서 밝히는 Android 오류의 내용중에 에서의 주목할만한 내용은 다음과 같고.. 자세한 내용은 첨부 자료를 참조하십시오. 안드로이드 커널 2.6.32 (프로요)의 분석 결과 359개의 소프트웨어 버그가 검출됨. 그 중 88개는 보안취약점과 시스템 충돌을 일으킬 수 있는 고위험(High Risk)급임. 커버리티 스캔에서 분석된 오픈소스 프로젝트 전체를 분석하여 검출된 버그의 절반이상이 고위험(High Risk)급임. 오픈소스 코드에서 주로 발견되는 버그들은 Memory corruption, NULL pointer dereferences, Resource leaks 이었으며 이는 시스템다운 및 보안.. 더보기 무료 코드 검증 서비스 Coverity의 코드 검증 기술을 느끼실 수 있도록 엔지니어가 직접 방문하여 실제 개발중인 코드의 버그를 잡아드리고 있습니다. 아래의 내용을 채우셔서 메일로 보내 주시면 방문해서 코드 검증을 해 드리도록 하겠습니다. 공통 회사명 성함 직책 연락처 e-mail 대상 업무명 혹은 제품명? C/C++ 빌드머신의 프로세서 및 운영체계 명 빌드시 사용되는 컴파일러 명 분석 대상 소스코드 (추정) 라인수 Java 개발머신의 종류 및 운영체계 사용하는 JDK의 종류와 버전 분석 대상 소스코드 (추정) 라인수 mail : thomas@esonsoft.com 더보기 Lattix DSM을 익힐 수 있는 동영상 아래 주소에서 LDM의 개념을 자세히 배울 수 있습니다. http://www.lattix.com/dl/demo/LDMdemo-01-01.htm 더보기 Lattix DSM 설명 Lattix 기술 DSM 무엇인가? DSM 은 Dependency Structure Matrix 혹은 Design Structure Matrix 를 뜻하며 시스템을 표현하는 방법입니다 . DSM 표현은 30 년 이상 전에 발명되었으며 , 이후 MIT, Harvard, University of Illinois 를 비롯한 여러 곳의 연구팀들이 복잡한 시스템의 분석에 DSM 을 실제적으로 적용하는 연구를 하면서 사용법이 발전해 왔습니다 . Lattix 는 DSM 을 소프트웨어 아키텍처에 적용한 첫 번째 회사입니다 . 소프트웨어 아키텍처를 표현하는 프로세스는 일반적으로 서브시스템 간의 의존에 생성된 간단한 매트릭스의 변환으로 구성되어 있습니다 . 초기 DSM 아래 그림은 모듈 A, B, C, D 의 4 개의 서.. 더보기 이전 1 ··· 8 9 10 11 12 다음
