[Question][Hw5] About the types of expressions

prosyslab-classroom / cs348-information-security

61 stars 10 forks source link

[Question][Hw5] About the types of expressions #139

Closed kws1207 closed 3 years ago

kws1207 commented 3 years ago

In semantics.ml, we have to write the function let eval e mem according to above definition.

However, I am having a hard time figuring out what is the type of arithmetic operation and comparison operation. Is it an inherited type of Llvm.llvalue? or is it defined in domain.ml? I can't find it ..

Standchen commented 3 years ago

I believe that you've already implemented fuctions for arithmetic/comparison operators in abstract domains in domain.ml. When you utilize those functions in eval, then you'll get what you want (some values with type Value.t.)

KihongHeo commented 3 years ago

I don't fully understand your questions but let me give some comments

LLVM has a slightly different syntactic structure from the document. You can handle each arithmetic operator directly as an instruction. Please take a look at Llvm.instr_opcode
Also Llvm.classify_value may be helpful.
Take a look at this document for general information.

kws1207 commented 3 years ago

Thank you.