1
나는 Frama-C에서 플러그인을 개발 중이고 C 프로그램에서 Pdg 그래프를 얻고 싶다. "funcdec"유형이있는 동안 "kernel_function"유형을 사용하는 Db.Pdg.get을 시도했습니다. 나는 그것을 어떻게 수정했는지 몰랐다. 도움이 되었습니까?PDG 그래프를 얻는 것
A
답변
1
Globals.Functions.get fdec.Cil_types.svar을 사용하면 fdec 펀드를 kernel_function으로 변환 할 수 있습니다. 그러면 Db.Pdg.get으로 전화하는 것이 올바른 방법입니다.
관련 문제
- 1. PDG (Program Dependence Graphs)
- 2. yahoo finance에서 재고 그래프를 얻는 것
- 3. 동일한 그래프를 반복적으로 플로팅하는 것 - 같은 위치에 노드를 얻는 방법?
- 4. 이차 방정식의 그래프를 그리는 것
- 5. 파이썬에서 색상 막대 그래프를 그릴 것
- 6. requestDispatcher를 얻는 것
- 7. 콘크리트에서 상태를 얻는 것
- 8. 목적지에서 정보를 얻는 것
- 9. cin에서 방향키를 얻는 것
- 10. 계산에서 복수형을 얻는 것
- 11. JSP 값을 얻는 것
- 12. 이드의 ID를 얻는 것
- 13. NHibernate.Bytecode.ProxyFactoryFactoryNotConfiguredException을 얻는 것
- 14. 리스트의 요소를 얻는 것
- 15. 변수로부터 변수를 얻는 것
- 16. activityForResult에서 여분으로 얻는 것
- 17. 입력 형식을 얻는 것
- 18. 브라우저의 위치를 얻는 것
- 19. 파일의 위치를 얻는 것
- 20. 보기의 청취자를 얻는 것
- 21. 정맥에서 SNR 평균을 갖는 그래프를 얻는 방법
- 22. 그래프에서 모든 하위 그래프를 얻는 방법은 무엇입니까?
- 23. 실행 순서대로 gprof 호출 그래프를 얻는 방법
- 24. 그래프를 사용하여 체크인 체크리스트를 얻는 방법
- 25. 그래프를 사용하여 읽지 않은 이메일을 얻는 방법
- 26. QTP - 요소의 값을 얻는 것
- 27. asp.net - 문제가 dropdownlist을 얻는 것
- 28. 클라이언트 데이터를 빨리 얻는 것
- 29. "친구"타워의 수를 얻는 것
- 30. 지속적으로 현재 시간을 얻는 것
"funcdec"을 얻는 방법을 알려주면, 대신에 "kernel_function"을 얻을 수있는 방법을 찾는 것이 도움이 될 것입니다. – Anne
"Cil_types.file"에서 얻는 "전역"유형에서 "fundec"유형을 얻습니다. C 프로그램의 AST 항목이 있습니다. – Amiramet