VSA backend puts backend objects in AST args

[zwimer]

trafficstars

Claripy ASTs are frontend objects. Some backends seem to use these ASTs as backend objects, in doing so they sometimes place backend objects into AST args, intermixing frontend and backend objects.

For example, the test_expression.py test case runs: nose.tools.assert_equals(n.union(m).cardinality, 2). In doing so a union op containing 2 args of type <class 'claripy.vsa.strided_interval.StridedInterval'> is constructed.

[github-actions[bot]]

This issue has been marked as stale because it has no recent activity. Please comment or add the pinned tag to prevent this issue from being closed.