Opaque predicate (original) (raw)
En programación de computadoras, un predicado opaco es un predicado - una expresión que se evalúa a "verdadero" o "falso" - para el cual el valor es conocido por el programador a prior, pero que, por distintas razones, necesita ser evaluado en tiempo de ejecución.
| Property | Value |
|---|---|
| dbo:abstract | En programación de computadoras, un predicado opaco es un predicado - una expresión que se evalúa a "verdadero" o "falso" - para el cual el valor es conocido por el programador a prior, pero que, por distintas razones, necesita ser evaluado en tiempo de ejecución. (es) 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. Opaque predicates have been used as watermarks, as they will be identifiable in a program's executable. 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. (en) |
| dbo:wikiPageExternalLink | https://www.researchgate.net/publication/238730564_A_Method_for_Watermarking_Java_Programs_via_Opaque_Predicates |
| dbo:wikiPageID | 1898450 (xsd:integer) |
| dbo:wikiPageLength | 1817 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1113305740 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Run_time_(program_lifecycle_phase) dbr:Control_flow dbr:Computer_programming dbc:Computer_programming dbr:Dataflow dbr:Predicate_(mathematical_logic) dbr:Reverse_engineering dbr:Watermark dbr:Obfuscated_code dbr:Compiler_optimization |
| dbp:wikiPageUsesTemplate | dbt:Compu-prog-stub |
| dct:subject | dbc:Computer_programming |
| gold:hypernym | dbr:Expression |
| rdf:type | dbo:Organisation |
| rdfs:comment | En programación de computadoras, un predicado opaco es un predicado - una expresión que se evalúa a "verdadero" o "falso" - para el cual el valor es conocido por el programador a prior, pero que, por distintas razones, necesita ser evaluado en tiempo de ejecución. (es) 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. Opaque predicates have been used as watermarks, as they will be identifiable in a program's executable. 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. (en) |
| rdfs:label | Predicado opaco (es) Opaque predicate (en) |
| owl:sameAs | freebase:Opaque predicate wikidata:Opaque predicate dbpedia-es:Opaque predicate https://global.dbpedia.org/id/f47m |
| prov:wasDerivedFrom | wikipedia-en:Opaque_predicate?oldid=1113305740&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Opaque_predicate |
| is dbo:wikiPageWikiLink of | dbr:Predicate_(mathematical_logic) |
| is foaf:primaryTopic of | wikipedia-en:Opaque_predicate |