개인구독
소속 기관이 없으신 경우, 개인 정기구독을 하시면 저렴하게
논문을 무제한 열람 이용할 수 있어요.
지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
이용수
1. 서론
2. 정적 분석기 인퍼
3. 기반 기술
4. 인퍼보 그리고 실행 복잡도 분석기
5. 인퍼팀에서 분석기를 만들며 배운 점
6. 결론
참고문헌
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
“프로그램 정적 분석” 특집을 내면서
정보과학회지
2016 .03
Infer를 이용한 보안 취약점 탐지용 정적 분석
한국정보과학회 학술발표논문집
2021 .06
문장 유형에 따른 한글 형태소 분석기 비교
한국정보과학회 학술발표논문집
2019 .12
머신러닝을 이용한 체성분분석기 결과 해석 장치 개발
한국통신학회 학술대회논문집
2019 .06
대규모 텍스트 분석을 위한 한국어 형태소 분석기의 실행 성능 비교
한국정보과학회 학술발표논문집
2020 .07
Uncertainty quantification of a thermomechanical analyzer
한국소성가공학회 학술대회 논문집
2024 .10
도로상황, Target 위치 및 이동에 따른 위험도 분석기 구현
대한전자공학회 학술대회
2019 .11
데이터 기반 형태소 분석기의 신규명사 추출 경향 분석
한국정보과학회 학술발표논문집
2019 .12
오일러각 기반 운동자세 정확도 분석기 설계
한국정보과학회 학술발표논문집
2017 .12
바이너리 분석기를 이용한 실행파일 분석 서비스
한국정보과학회 학술발표논문집
2015 .06
해양플랜트 세퍼레이터 국산화 소개
한국강구조학회지
2018 .04
단일 회로망 분석기를 동시 공유하기 위한 스위칭 시스템의 설계 및 시험
한국통신학회 학술대회논문집
2023 .06
추가 다운로드 데이터가 있는 안드로이드 애플리케이션에 대한 동적 분석기 개발
한국정보과학회 학술발표논문집
2018 .06
JNI를 이용하는 안드로이드 애플리케이션의 개인정보 유출 탐지를 위한 정적 분석기
한국정보과학회 학술발표논문집
2019 .06
JNI를 이용하는 안드로이드 애플리케이션의 개인 정보 유출 탐지를 위한 정적 분석기
대한전자공학회 학술대회
2019 .11
주파수 응답 분석기를 이용한 주상변압기 상태진단 사례
대한전기학회 학술대회 논문집
2015 .07
Inferbo: Infer 기반 버퍼 오버런 오류 분석기
한국정보과학회 학술발표논문집
2017 .06
회로망 분석기를 이용한 축대칭 공동공진기 손실인자 측정
한국통신학회 학술대회논문집
2016 .06
LLVM Clang 정적 분석기의 평가
한국정보과학회 학술발표논문집
2015 .06
지중 콘크리트 박스구조물의 전단력 및 부모멘트 보강을 위한 프리플렉션 강재를 이용한 보강공법(cornerSAFEⓇ)소개
지반(한국지반공학회지)
2022 .01
0