search

PLASinCNU / op-eliminator

GNU General Public License v2.0
1 stars 0 forks source link

Program slicing #5

Open fcmonoid opened 4 years ago

fcmonoid commented 4 years ago

o.p 에만 기여한 명령/expression들을 전체 프로그램에서 제거해서 간소화 해야하는데...

fcmonoid commented 4 years ago

o.p 에만 기여한 명령/expression들을 전체 프로그램에서 제거해서 간소화 해야하는데...

급한대로, 몇년전 open reil에서 성균이 했던 backward taint analyzer를 쓰면 좋을 것 같다. (하지만 그 때는 may-analysis 했고 지금은 must-analysis가 필요)

fcmonoid commented 4 years ago

o.p 에만 기여한 명령/expression들을 전체 프로그램에서 제거해서 간소화 해야하는데...

mi-asm에서 괜찮은 기능을 줄 수도 있으니 살펴봐야함 (특히 "simplifier")

fcmonoid commented 4 years ago

당장은 조금 미뤄야할 듯... detect 우선!

fcmonoid commented 4 years ago

slicing 기록에 안남았지만 잘 해서 결과 나옴 => 이제는 수행도 slicing만 해서 간소화하자 -> slicing 결과가 이전 결과와 동일한지를 먼저 확인할 필요