Sebastiaan Peters
Sebastiaan Peters
Hello there, I have both libclang-3.5 and libclang3.8, But each time I set it to either of one I get the following error "Clighter unavailable: clang service failed, you must...
I can't find it anywhere on the store, is there any news on this?
Hello, In the Pearson New International Edition from 2014 I have the following exercise, 3.7.1: Cibvert to DFA's the NFA's of: c) Fig. 3.30  Should the answer be...
If we can diff sub-trees for specific nodes than we can verify two properties: * We can easily implement #220 as each `DecoderResult` sub-tree should be unique * We can...
The Decoder Result has an out going child to an `And` node with 1 or more children all connecting to `const_1_1` which is trivially true. The number of edges from...
For `mov rax, [rax]`, `48 8b 00` it generates the following sub trees under `read_constraint`. `Mul 0, op2` can have their entire subtree removed A `add 0, op2` can have...
For 8-bit instructions that touch flags like `add al, al` / `00 c0` we currently have 4 separate OR checks to check if the 3rd bit of a value is...
If a bit is checked whether it is the value 1, then it gets a direct edge if the target is also an i1 But if we check if that...
Currently the value relevant for parity gets extracted through `and` it with an 8 bit representation of `1`. This value is Xor'd with a `1` We can just simply truncate...