카카오 계정과 연동하여 게시글에 달린
댓글 알람, 소식등을 빠르게 받아보세요

가장 핫한 댓글은?

정적분석, 프로그래밍 코드 분석 관련 연구자 분들께 궁금한 점이 있습니다.

2021.07.14

7

742

안녕하세요, 석사과정을 하고 있는 한 학생입니다.

프로그래밍 코드 분석에 관심이 있어서 그 쪽으로 연구를 진행하려고 하는데 논문으로 나온 다른 코드 분석 툴들을 보면 구현 양이 상당하더라고요. 혼자서 하기에는 상당히 힘들어보일 정도로요(경험상 github contributor가 복수였습니다). 이런 경우에는 어떤 동기에서 연구가 수행되는 건가요? 과제를 맡고 해결하는 과정에서 구성원들이 모두 참여하고, 그것을 바탕으로 논문이 나오는 건가요? 아니면 학문적 관심이 겹치는 사람들이 논문을 같이 작성하는 건가요?

궁금합니다!

카카오 계정과 연동하여 게시글에 달린
댓글 알람, 소식등을 빠르게 받아보세요

댓글 7개

2021.07.14

비밀입니다.

2021.07.14

정보가 너무 부족한거 같은데
예전에 정적 분석일때는 제 기억에 프로그래밍 하다가 메모리 할당받고 반환 해주지 않을때 이런걸 잡아주는걸로 아는데
요즘은 그런 프로그래밍 실수를 잡거나 방지해야 하는 사례가 통계적으로 많이 수집되었나 보네요

대댓글 2개

해당 댓글을 보려면 로그인이 필요합니다. 로그인하기

해당 댓글을 보려면 로그인이 필요합니다. 로그인하기

2021.07.15

일단 너가 정적 분석으로 무엇을 하려는건지 명확히 해야겠지. 앞에 예로 든 메모리 릭을 찾으려고 하면 기존 어프로치로는 찾지 못하는 릭이 있거나 너무 느려터져서 쓸 수 없다던가 하는 모티베이션이 있을꺼 아니야? 그걸 해결할 수 있는 아이디어를 (과학 용어로는 가설에 해당되겠지) 프로토타입하면 되는거야. 때때로 코드 많이 써야할 수도 있을텐데 그건 어쩔 수 없는 1저자 몫이고… 하지만 기존에 되는 기능을 바닥부터 새로 쓸 필요는 없다 어차피 논증 범위 밖이니깐. 요새 llvm 많이 쓰자나 그걸로 패스 만들면 되겠네 메모리 릭 잡는 정도의 정적 분석이라면..

해당 댓글을 보려면 로그인이 필요합니다. 로그인하기

댓글쓰기

게시판 목록으로 돌아가기