Commit 233e85b4 authored by Josua Mayer's avatar Josua Mayer
Browse files

codex: implement partially undefined values

Add pattern for catching Undef on restricted values:
The whole value will be undefined, because partial is not supported.
parent aefa97c4
......@@ -1052,6 +1052,11 @@ module Create () : Sig = struct
let size = List.assoc v Reg.registers in
let new_v = bunknown ~size ctx in
[Jump_Inner id, State.set ctx state v new_v]
| Undef (Dba.LValue.Restrict({name=v;_}, {lo=_;hi=_;_}), id) ->
let size = List.assoc v Reg.registers in
let new_v = bunknown ~size ctx in
Logger.warning "can't model partially undefined registers, undefining fully";
[Jump_Inner id, State.set ctx state v new_v]
| _ -> assert false
end
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment