Lines Matching full:sval
128 During symbolic execution, <a href="http://clang.llvm.org/doxygen/classclang_1_1ento_1_1SVal.html">SVal</a>
137 number. In some cases, <tt>SVal</tt> is not a symbol, but it really should be
140 <tt>SVal</tt> will evaluate to <a href="http://clang.llvm.org/doxygen/classclang_1_1ento_1_1UnknownVal.html">UnknownVal</a>.
178 we first construct an <tt>SVal</tt> that represents the lvalue of <tt>x</tt>, in
179 this case it is an <tt>SVal</tt> that references the <tt>MemRegion</tt> for <tt>x</tt>.
180 Afterwards, when we do the lvalue-to-rvalue conversion, we get a new <tt>SVal</tt>,
184 and get an <tt>SVal</tt> that references the concrete number <tt>2</tt>. When
186 and create a new <tt>SVal</tt> that represents their multiplication (which in
189 and then bind the <tt>SVal</tt> for the RHS (which references the symbolic value <tt>$1</tt>)
193 dance, and create an <tt>SVal</tt> that references the symbol <tt>$0</tt>. Note, two <tt>SVals</tt>
