Static Analysis for LUA 작업기 #3
GDC 들으면서 간간히 계속 작업하고 있는데, if 나 while 등을 3AC로 표현했었던 걸 (break를 구현하려다 보니 점프 없는 3AC론 한계가 있어서) CFG형태로 표현하는 방식으로 새로 구현중이다.

에지 형태로 점프를 표현 해서 그래프에서의 실행을 추적하는 방식이다 (현재는 코드도 에지에 있다). if와 while 까진 동일하게 동작하게 구현 완료.

그래프에서의 실행 순서를 어떻게 해야할지가 고민. 위상 정렬을 이용한 방식이나 여러가지가 있다니 또 논문을 파봐야.. 일단은 큐형태로 매번 실행해보고 모든 에지에서 메모리 표현 상태가 더이상 변하지 않으면 멈추는 구조.

어서 함수까지 구현해서 돌아가는 모습을 보고싶다.
by 입큰하마 | 2011/03/03 06:24 | 프로그래밍 | 트랙백 | 덧글(2)
트랙백 주소 : http://ipkn.egloos.com/tb/4544003
☞ 내 이글루에 이 글과 관련된 글 쓰기 (트랙백 보내기) [도움말]
Commented at 2011/03/03 11:27
비공개 덧글입니다.
Commented by 입큰하마 at 2011/03/07 07:07
비공개 / 언제나 읽을 꺼리를 던져 주는 그분 ㅋ. 근데 일단 lattice로 뭔가를 설정하지 않아서 적당히 도는 물건이 되버릴꺼 같다. 지금 짜면서 얻은 경험을 토대로 새로운 정보들과 합쳐서 두 번 째를 만들어 봐야 하지 않을까 생각하고 있다.

:         :

:

비공개 덧글



< 이전페이지 다음페이지 >