NeoQuix
NeoQuix
Will block for now and create a bninja issue later.
Upstream: https://github.com/Vector35/binaryninja-api/issues/4546
Nope it's the only function which yields this error. On my machine it still persists. Will try it on my PC instead of notebook later. Looked up the error, and...
Tried it and it did work indeed. So what to do about this issue in general? Make a small note in the `README.md`? Make a bninja issue?
Upstream BNinja error. A `DataVariable` should always have a value, but here bninja has a problem with the type of the value. (enum hrtttype; knows type, but can't interpret value?)
All methods with `enum hrttType` have the issue. Technically we _could_ check for the value before accessing it, but that would make the code waaaaaay harder to read.
Temporary fixed by using an "Unknown value" for `Datavariables` with `NamedTypeRef` type.
Update for v3.5.445: - fixed in their GUI but not in python API....
Again as in #189, `SeqNode` has None type as `children` field because of `NetworkXUnfeasible` in `reachability_graph.py` L.93, caused by `sequence_node._sorted_children = sibling_reachability.sorted_nodes()` in `condition_based_refinement.py` L.79. Wasn't the fix, that the...
Todo: Add wrapper in enum (globals.py) to fix #214