OVAL

1 program Added 2026-02-08T14:30:16.482078Z Agent: claude-codeModel: sonnetWebSearch: enabled Evidence Report issue View issues
Aliases: Open Vulnerability and Assessment Language
Provenance: commit 2afdcc1cb1 · authored 2026-02-08T15:31:29+01:00 · agent claude-code · model sonnet

Sources mentioning this language

1 source · not in taxonomy (canonical name didn't match any upstream)
LLM (this repo) · 1

Related languages

OpenQASM (0.24)OPL (0.23)UVL (0.23)KDL (0.22)openCypher (0.21)

LLM-contributed programs

Extend Definition Test

Provenance: commit 2afdcc1cb1 · authored 2026-02-08T15:31:29+01:00 · agent claude-code · model sonnet · WebSearch enabled
code.xml · added: 2026-02-08T14:30:16.482078Z
<?xml version="1.0" encoding="UTF-8"?>
<oval_definitions xsi:schemaLocation="http://oval.mitre.org/XMLSchema/oval-definitions-5 oval-definitions-schema.xsd http://oval.mitre.org/XMLSchema/oval-definitions-5#independent independent-definitions-schema.xsd" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns="http://oval.mitre.org/XMLSchema/oval-definitions-5" xmlns:ind-def="http://oval.mitre.org/XMLSchema/oval-definitions-5#independent" xmlns:oval-def="http://oval.mitre.org/XMLSchema/oval-definitions-5" xmlns:oval="http://oval.mitre.org/XMLSchema/oval-common-5">
 <generator>
 <oval:schema_version>5.10.1</oval:schema_version>
 <oval:timestamp>2009-01-12T10:41:00-05:00</oval:timestamp>
 <terms_of_use>Copyright (c) 2002-2013, The MITRE Corporation. All rights reserved. The contents of this file are subject to the license described in terms.txt.</terms_of_use>
 </generator>
 <definitions>
 <definition id="oval:org.mitre.oval.test:def:620" version="1" class="miscellaneous">
 <metadata>
 <title>Evaluate to true</title>
 <description>This definition is intended to always evaluate to true.</description>
 </metadata>
 <criteria operator="AND">
 <criterion comment="This test always evaluates to true." test_ref="oval:org.mitre.oval.test:tst:833"/>
 </criteria>
 </definition>
 <definition id="oval:org.mitre.oval.test:def:997" version="1" class="miscellaneous">
 <metadata>
 <title>Evaluate to false</title>
 <description>This definition is intended to always evaluate to false.</description>
 </metadata>
 <criteria operator="AND">
 <criterion negate="true" comment="This test always evaluates to true." test_ref="oval:org.mitre.oval.test:tst:833"/>
 </criteria>
 </definition>
 <definition id="oval:org.mitre.oval.test:def:117" version="1" class="miscellaneous">
 <metadata>
 <title>Evaluate to true if the oval-def:extend_definition construct is properly supported</title>
 <description>This definition is intended to evalutate to true if the interpreter properly supports the oval-def:extend_definition construct with the negate attribute set to false.</description>
 </metadata>
 <criteria operator="AND">
 <extend_definition comment="Evaluate to true" definition_ref="oval:org.mitre.oval.test:def:620"/>
 </criteria>
 </definition>
 <definition id="oval:org.mitre.oval.test:def:97" version="1" class="miscellaneous">
 <metadata>
 <title>Evaluate to true if the oval-def:extend_definition construct is properly supported</title>
 <description>This definition is intended to evalutate to true if the interpreter properly supports the oval-def:extend_definition construct with the negate attribute set to true.</description>
 </metadata>
 <criteria operator="AND">
 <extend_definition negate="true" comment="Evaluate to false" definition_ref="oval:org.mitre.oval.test:def:997"/>
 </criteria>
 </definition>
 </definitions>
 <tests>
 <variable_test id="oval:org.mitre.oval.test:tst:833" version="1" comment="This test always evaluates to true." check_existence="at_least_one_exists" check="at least one" xmlns="http://oval.mitre.org/XMLSchema/oval-definitions-5#independent">
 <object object_ref="oval:org.mitre.oval.test:obj:841"/>
 <state state_ref="oval:org.mitre.oval.test:ste:266"/>
 </variable_test>
 </tests>
 <objects>
 <variable_object id="oval:org.mitre.oval.test:obj:841" version="1" comment="This variable_object represents the boolean value 'true'." xmlns="http://oval.mitre.org/XMLSchema/oval-definitions-5#independent">
 <var_ref>oval:org.mitre.oval.test:var:945</var_ref>
 </variable_object>
 </objects>
 <states>
 <variable_state id="oval:org.mitre.oval.test:ste:266" version="1" comment="This variable_state represents a boolean value that is equal to 'true'." xmlns="http://oval.mitre.org/XMLSchema/oval-definitions-5#independent">
 <value datatype="boolean">true</value>
 </variable_state>
 </states>
 <variables>
 <constant_variable id="oval:org.mitre.oval.test:var:945" version="1" comment="This variable represents the boolean value 'true'." datatype="binary">
 <value>true</value>
 </constant_variable>
 </variables>
</oval_definitions>

Contribute — propose a file extension

Tell us where to find evidence about OVAL (mapped to pl/oval). A reference URL is required; at least one of extension or program code must be provided too. A maintainer reviews each submission via a draft PR before anything lands.
Optional: attach a program from that URL
If the reference URL points at a single source file you'd like to add as an example program, paste it below. The workflow will write it under languages/OVAL/programs/<sha>/. Keep under ~200 lines.
(or open the pre-filled issue directly)
← OutputF Over-Objective Programming Language (Opal) →