In computer programming, an opaque predicate is a predicate, an expression that evaluates to either "true" or "false", for which the outcome is known by the programmer a priori, but which, for a variety of reasons, still needs to be evaluated at run time.[1] Opaque predicates have been used as watermarks, as they will be identifiable in a program's executable.[2] They can also be used to prevent an overzealous optimizer from optimizing away a portion of a program. Another use is in obfuscating the control or dataflow of a program to make reverse engineering harder.

edit

References

edit
  1. ^ Caballero, Juan; Zurutuza, Urko; Rodríguez, Ricardo J. (2016-06-17). Detection of Intrusions and Malware, and Vulnerability Assessment: 13th International Conference, DIMVA 2016, San Sebastián, Spain, July 7-8, 2016, Proceedings. Springer. ISBN 978-3-319-40667-1.
  2. ^ Chaki, Rituparna; Cortesi, Agostino; Saeed, Khalid; Chaki, Nabendu (2015-11-18). Advanced Computing and Systems for Security: Volume 2. Springer. ISBN 978-81-322-2653-6.
Stub icon

This computer-programming-related article is a stub. You can help Wikipedia by adding missing information.

📚 Artikel Terkait di Wikipedia

Predicate (logic)

Hypostatic abstraction Multigrade predicate Opaque predicate Philosophical predication Predicate functor logic Predicate variable Truthbearer Truth value

Opaque context

t} . Define a predicate L {\displaystyle L} which is true for terms six letters long. Then [ x ] {\displaystyle [x]} induces an opaque context, or is

Short-circuit evaluation

values with side effects in evaluations tends to generally make the code opaque and error-prone. Short-circuiting can lead to errors in branch prediction

Linguistic development of Genie

soup" or "Genie purse". A short time later, she began to produce noun-predicate adjective sentences such as "Dave sick". During this time, she never used

Meaning (philosophy)

add an additional parameter to the construction of an accurate truth predicate. Among the philosophers who grappled with this problem is Alfred Tarski

Outline of logic

Monadic predicate calculus Predicate (mathematical logic) Predicate logic Predicate variable Quantification Second-order predicate Sentence (mathematical

Semantics

analyzed as subject, predicate, or argument. The subject of a sentence usually refers to a specific entity while the predicate describes a feature of

Standard Template Library

particularly common type of functor is the predicate. For example, algorithms like find_if take a unary predicate that operates on the elements of a sequence