language <span class="searchmatch">semantics</span> (tsz. programming language semanticses) (informatika, mesterséges intelligencia) szemantika Programming Language <span class="searchmatch">Semantics</span> (programozási...
Merriam–Webster <span class="searchmatch">semantics</span> - Cambridge <span class="searchmatch">semantics</span> - WordNet <span class="searchmatch">semantics</span> - Яндекс (en-ru) <span class="searchmatch">semantics</span> - Google (en-hu) <span class="searchmatch">semantics</span> - Wikidata <span class="searchmatch">semantics</span> - Wikipédia...
<span class="searchmatch">program</span> analysis (tsz. <span class="searchmatch">program</span> analysises) (informatika) A programanalízis (<span class="searchmatch">program</span> analysis) az informatika és szoftverfejlesztés egyik kulcsterülete...
static <span class="searchmatch">program</span> analysis (tsz. static <span class="searchmatch">program</span> analysises) (informatika) A statikus programanalízis (angolul: static <span class="searchmatch">program</span> analysis) egy olyan módszer...
Python syntax and <span class="searchmatch">semantics</span> (tsz. Python syntax and semanticses) (informatika) A Python programozási nyelv szintaxisa azon szabályok összessége, amelyek...
(fuzzing eszköz) generál bemeneteket. Ezeket megeteti a <span class="searchmatch">programmal</span>. A fuzzer figyeli a <span class="searchmatch">program</span> viselkedését: lefagyás, kivétel, hibakód, memóriaszivárgás...
információ lép ki B blokkból. Mely értékadások (“definíciók”) érhetik el a <span class="searchmatch">program</span> egy adott pontját? 📌 Használat: Halott kód kiszűrése, másolás-optimalizáció...
típusa van egy objektumnak, hanem azt is, hogy milyen állapotban van a <span class="searchmatch">program</span> adott pontján. A „typestate” (típusállapot) lényege tehát az, hogy egy...
művelet végrehajtása után a <span class="searchmatch">program</span> viselkedése nincs definiálva a szabvány által – vagyis bármi megtörténhet: a <span class="searchmatch">program</span> lefut, összeomlik, furcsán viselkedik...
vizsgálja, hogy a <span class="searchmatch">program</span> futása során milyen vezérlésútvonalak lehetségesek. Lényegében a CFA próbálja előrejelezni, hogyan fut a <span class="searchmatch">program</span>, milyen sorrendben...