Searched refs:symbolic (Results 1 – 25 of 463) sorted by relevance
12345678910>>...19
16 // Upper 16-bits of a symbolic relocation18 // Lower 16-bits of a symbolic relocation
36 instid0(<*ID name*>) A symbolic *ID0* value. instid0(NO_DEP)37 instskip(<*SKIP name*>) A symbolic *SKIP* value. instskip(SAME)38 instid1(<*ID name*>) A symbolic *ID1* value. instid1(NO_DEP)
63 ;; Return 1 iff OP is a symbolic operand.86 ;; Return truth value of statement that OP is a symbolic memory102 ;; Return true if OP is a symbolic operand for the TLS Global Dynamic model.107 ;; Return true if OP is a symbolic operand for the TLS Local Dynamic model.112 ;; Return true if OP is a symbolic operand for the TLS Initial Exec model.117 ;; Return true if OP is a symbolic operand for the TLS Local Exec model.123 ;; Return 1 if the operand is a register operand or a non-symbolic126 ;; accept non-symbolic memory operands after reload to ensure that the149 ;; operand that is not symbolic.
17 Regions that do not have a known offset use a special "symbolic" offset. These27 Supporting both concrete and symbolic offsets makes things a bit tricky. Here's38 symbolic offset invalidates the entire concrete offset region.* We know52 concrete offset invalidates any symbolic offset bindings whose concrete offset82 variable. Thus it is not valid to assume that all bindings with non-symbolic123 appropriate default value for the region (usually a symbolic value, but
8 symbolic names:
11 symbolic names:
5 **Sy-noarg** - symbolic macro without arguments
5 **Sy-font** - changing fonts inside the symbolic font macro
5 **Sy-tag** - tagging of symbolic font macros
4 SSyy--nnooaarrgg - symbolic macro without arguments
4 SSyy--ffoonntt - changing fonts inside the symbolic font macro
25 * [Introduction to symbolic execution](https://www.cs.umd.edu/~mwh/se-tutorial/symbolic-exec.pdf).28 (a paper that successfully applies symbolic execution to real-world318 computing results as symbolic expressions:338 symbolic execution ideas to guide our design of the lattice and transfer339 functions: lattice values can be symbolic expressions, and transfer functions340 can construct more complex symbolic expressions from symbolic expressions that342 discussion](https://cstheory.stackexchange.com/questions/19708/symbolic-execution-is-a-case-of-abst…343 for a further comparison of abstract interpretation and symbolic execution.371 Of course, in a program with loops, symbolic expressions for flow conditions can373 keep the symbolic representations manageable and ensure that the data flow[all …]
6 It implements *path-sensitive*, *inter-procedural analysis* based on *symbolic execution* technique.
83 Allow symbolic names for registers.86 Do not allow symbolic names for registers.
110 echo In directory `hostname`:`pwd`/$file: symbolic link: skipping