안녕하세요^^ symbolic execution에 대해 공부를 하다가, symbolic execution을 분석하는 Tool에 있어서
System-level 은 S2e 라는 툴을 사용하고
User-level 은 Angr와 Triton 이라는 툴을 사용하며
Code-base는 Klee 라는 툴을 사용하라는 설명을 보게되었는데
여기서 설명하는 system, user level과 code-base라는게 정확이 어떠한 의미를 가지는지에 대해 알고싶습니다 ㅠㅠ
코드 레벨은 해당 소스 코드를 수정하거나 분석해서 하는 방식입니다. 이 경우엔 소스 코드가 반드시 필요하죠.