Suchergebnisse - "live variable analysis"

Analysis and Verification on SQLIA Vulnerability for Java EE Programs

Autoren: GUO Fan, FAN Weiwei

Quelle: Jisuanji kexue yu tansuo, Vol 15, Iss 2, Pp 270-283 (2021)

Schlagwörter: structured query language (sql) injection, taint propagation semantics, static analysis, live variable analysis, instrumentation, dynamic verification, Electronic computers. Computer science, QA75.5-76.95

Dateibeschreibung: electronic resource

Relation: http://fcst.ceaj.org/CN/abstract/abstract2542.shtml; https://doaj.org/toc/1673-9418

Zugangs-URL: https://doaj.org/article/8a305f050d8340bbb26c7fa54d7bae56

From high-level languages to dataflow circuits

Autoren: Marset Alsina, Joaquim Universitat Politècnica de Catalunya. Departament de Ciències de la Computació Cortadella, Jordi

Weitere Verfasser: Marset Alsina, Joaquim Universitat Politècnica de Catalunya. Departament de Ciències de la Computació Cortadella, Jordi

Schlagwörter: Parallel computers, Graph theory, Síntesi d'alt nivell, Circuits elàstics, Grafs de flux de dades, Infraestructura de compiladors LLVM, Llenguatge de descripció de grafs DOT, Front-end d'un compilador, Back-end d'un compilador, Circuits hardware, Anàlisi de variables vives, Representació intermèdia, Forma estàtica d'assignàció única, High-level synthesis, Elastic circuits, Data flow graphs, LLVM compiler infrastructure, DOT graph description language, Compiler front end, Compiler back end, Hardware circuits, FPGA, CPU, GPU, Live variable analysis, Intermediate representation, Static single assignment form, Ordinadors paral·lels, Grafs, Teoria de

Dateibeschreibung: application/pdf

Relation: http://hdl.handle.net/2117/169234; 144589

Verfügbarkeit: http://hdl.handle.net/2117/169234

Vylepšení analýzy živých proměnných pomocí points-to analýzy

Improvement of Live Variable Analysis Using Points-to Analysis

Autoren: Raiskup, Pavel

Thesis Advisors: Rogalewicz, Adam, Dudka, Kamil

Schlagwörter: points-to analysis, alias analysis, pointer analysis, Statická analýza, analýza ukazatelů, Static analysis, gcc plugin, Code Listener, ukazatelová aritmetika, formální verifikace, gcc zásuvný modul, points-to analýza, formal verification, live variable analysis, analýza živých proměnných, analýza aliasů, pointer arithmetic

Verfügbarkeit: http://www.nusl.cz/ntk/nusl-236511

On-the-Fly Dynamic Dead Variable Analysis

Autoren: Self, Joel P.

Quelle: Theses and Dissertations

Schlagwörter: model checking, computer science, static, static analysis, dynamic analysis, analysis, program, program analysis, Estes, GDB, dead variable analysis, dead variable, live variable, live variable analysis, CFG, abstraction, data abstraction, on-the-fly, static program analysis, control flow graph, software model checking, state space, depth first search, state explosion, state explosion problem, Computer Sciences

Dateibeschreibung: application/pdf

Relation: https://scholarsarchive.byu.edu/etd/886; https://scholarsarchive.byu.edu/context/etd/article/1885/viewcontent/ETD_CISOPTR_1009.pdf

Verfügbarkeit: https://scholarsarchive.byu.edu/etd/886
https://scholarsarchive.byu.edu/context/etd/article/1885/viewcontent/ETD_CISOPTR_1009.pdf

사용할 변수의 예측에 사용되는 반복적 알고리즘의 계산순서 재정렬을 통한 수행 속도 개선 ; Improvement of Iterative Algorithm for Live Variable Analysis based on Computation Reordering

Autoren: 윤정한 한태숙

Weitere Verfasser: 윤정한 한태숙

Schlagwörter: 컴파일러, 최적화, 컴파일 시간, compiler, optimize, compile time, live variable analysis, data flow analysis

Relation: http://hdl.handle.net/10203/92843; 898; 16629; ART000972557

Verfügbarkeit: http://hdl.handle.net/10203/92843

Dynamic Dead Variable Analysis

Autoren: Lewis, Micah S.

Quelle: Theses and Dissertations

Schlagwörter: static analysis, model checking, abstraction, live variable analysis, dead variable analysis, verification, Computer Sciences

Dateibeschreibung: application/pdf

Relation: https://scholarsarchive.byu.edu/etd/639; https://scholarsarchive.byu.edu/context/etd/article/1638/viewcontent/ETD_CISOPTR_459.pdf

Verfügbarkeit: https://scholarsarchive.byu.edu/etd/639
https://scholarsarchive.byu.edu/context/etd/article/1638/viewcontent/ETD_CISOPTR_459.pdf

Symbolic Solver for Live Variable Analysis of High Level Design Languages

Weitere Verfasser: The Pennsylvania State University CiteSeerX Archives

Quelle: http://www.ece.northwestern.edu/~dda902/research/isvlsi06das.pdf.

Schlagwörter: High Level Synthesis, Algorithms, Binary Decision Diagrams, Live Variable Analysis

Dateibeschreibung: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.83.4588; http://www.ece.northwestern.edu/~dda902/research/isvlsi06das.pdf

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.83.4588
http://www.ece.northwestern.edu/~dda902/research/isvlsi06das.pdf

Vylepšení analýzy živých proměnných pomocí points-to analýzy ; Improvement of Live Variable Analysis Using Points-to Analysis

Autoren: Raiskup, Pavel Dudka, Kamil Rogalewicz, Adam

Weitere Verfasser: Raiskup, Pavel Dudka, Kamil Rogalewicz, Adam

Schlagwörter: Statická analýza, analýza živých proměnných, analýza ukazatelů, points-to analýza, analýza aliasů, ukazatelová aritmetika, Code Listener, gcc zásuvný modul, formální verifikace, Static analysis, live variable analysis, pointer analysis, points-to analysis, alias analysis, pointer arithmetic, gcc plugin, formal verification

Dateibeschreibung: application/pdf; text/html

Relation: 79116; http://hdl.handle.net/11012/53654

Verfügbarkeit: http://hdl.handle.net/11012/53654

Control flow graph상의 USE 집합을 중심으로 하여 live variable analysis를 수행하는 비반복적 알고리즘 ; A non-iterative algorithm for live variable analysis based on use set of control flow graph

Autoren: 윤정한 Yun, Jeong-Han 한태숙 et al.

Weitere Verfasser: 윤정한 Yun, Jeong-Han 한태숙 et al.

Schlagwörter: 알고리즘, 컴파일러, Live Variable Analysis, Algorithm, Compiler

Relation: http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=180763&flag=dissertation; http://hdl.handle.net/10203/34570; 180763/325007; 020013386; 898

Verfügbarkeit: http://hdl.handle.net/10203/34570
http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=180763&flag=dissertation

On-the-Fly Dynamic Dead Variable Analysis

Autoren: Self, Joel P.

Quelle: Theses and Dissertations.

Schlagwörter: model checking, computer science, static, static analysis, dynamic analysis, analysis, program, program analysis, Estes, GDB, dead variable analysis, dead variable, live variable, live variable analysis, CFG, abstraction, data abstraction, on-the-fly, static program analysis, control flow graph, software model checking, state space, depth first search, state explosion, state explosion problem, Computer Sciences

Dateibeschreibung: application/pdf

Verfügbarkeit: https://scholarsarchive.byu.edu/etd/886
https://scholarsarchive.byu.edu/context/etd/article/1885/viewcontent/ETD_CISOPTR_1009.pdf

Dynamic Dead Variable Analysis

Autoren: Lewis, Micah S.

Quelle: Theses and Dissertations.

Schlagwörter: static analysis, model checking, abstraction, live variable analysis, dead variable analysis, verification, Computer Sciences

Dateibeschreibung: application/pdf

Verfügbarkeit: https://scholarsarchive.byu.edu/etd/639
https://scholarsarchive.byu.edu/context/etd/article/1638/viewcontent/ETD_CISOPTR_459.pdf

Vylepšení analýzy živých proměnných pomocí points-to analýzy

Autoren: Raiskup, Pavel Dudka, Kamil Rogalewicz, Adam

Weitere Verfasser: Raiskup, Pavel Dudka, Kamil Rogalewicz, Adam

Schlagwörter: pointer arithmetic, Statická analýza, points-to analýza, Static analysis, analýza ukazatelů, pointer analysis, live variable analysis, formální verifikace, alias analysis, gcc plugin, ukazatelová aritmetika, Code Listener, analýza živých proměnných, analýza aliasů, gcc zásuvný modul, formal verification, points-to analysis

Dateibeschreibung: application/pdf; text/html

Zugangs-URL: http://hdl.handle.net/11012/53654

From high-level languages to dataflow circuits

Autoren: Universitat Politècnica de Catalunya. Departament de Ciències de la Computació Cortadella, Jordi Marset Alsina, Joaquim

Index Begriffe: Parallel computers, Graph theory, Síntesi d'alt nivell, Circuits elàstics, Grafs de flux de dades, Infraestructura de compiladors LLVM, Llenguatge de descripció de grafs DOT, Front-end d'un compilador, Back-end d'un compilador, Circuits hardware, Anàlisi de variables vives, Representació intermèdia, Forma estàtica d'assignàció única, High-level synthesis, Elastic circuits, Data flow graphs, LLVM compiler infrastructure, DOT graph description language, Compiler front end, Compiler back end, Hardware circuits, FPGA, CPU, GPU, Live variable analysis, Intermediate representation, Static single assignment form, Ordinadors paral·lels, Grafs, Teoria de, Bachelor thesis

URL: http://hdl.handle.net/2117/169234

Vylepšení analýzy živých proměnných pomocí points-to analýzy

Autoren: Dudka, Kamil Rogalewicz, Adam Raiskup, Pavel

Index Begriffe: Statická analýza, analýza živých proměnných, analýza ukazatelů, points-to analýza, analýza aliasů, ukazatelová aritmetika, Code Listener, gcc zásuvný modul, formální verifikace, Static analysis, live variable analysis, pointer analysis, points-to analysis, alias analysis, pointer arithmetic, gcc plugin, formal verification, Text

URL: http://hdl.handle.net/11012/53654

Vylepšení analýzy živých proměnných pomocí points-to analýzy

Autoren: Dudka, Kamil Rogalewicz, Adam Raiskup, Pavel

Index Begriffe: Statická analýza, analýza živých proměnných, analýza ukazatelů, points-to analýza, analýza aliasů, ukazatelová aritmetika, Code Listener, gcc zásuvný modul, formální verifikace, Static analysis, live variable analysis, pointer analysis, points-to analysis, alias analysis, pointer arithmetic, gcc plugin, formal verification, Text

URL: http://hdl.handle.net/11012/53654

Vylepšení analýzy živých proměnných pomocí points-to analýzy

Autoren: Dudka, Kamil Rogalewicz, Adam

Index Begriffe: Statická analýza, analýza živých proměnných, analýza ukazatelů, points-to analýza, analýza aliasů, ukazatelová aritmetika, Code Listener, gcc zásuvný modul, formální verifikace, Static analysis, live variable analysis, pointer analysis, points-to analysis, alias analysis, pointer arithmetic, gcc plugin, formal verification, Text

URL: http://hdl.handle.net/11012/53654

Vylepšení analýzy živých proměnných pomocí points-to analýzy

Autoren: Dudka, Kamil Rogalewicz, Adam

Index Begriffe: Statická analýza, analýza živých proměnných, analýza ukazatelů, points-to analýza, analýza aliasů, ukazatelová aritmetika, Code Listener, gcc zásuvný modul, formální verifikace, Static analysis, live variable analysis, pointer analysis, points-to analysis, alias analysis, pointer arithmetic, gcc plugin, formal verification, Text

URL: http://hdl.handle.net/11012/53654

Vylepšení analýzy živých proměnných pomocí points-to analýzy

Autoren: Dudka, Kamil Rogalewicz, Adam

Index Begriffe: Statická analýza, analýza živých proměnných, analýza ukazatelů, points-to analýza, analýza aliasů, ukazatelová aritmetika, Code Listener, gcc zásuvný modul, formální verifikace, Static analysis, live variable analysis, pointer analysis, points-to analysis, alias analysis, pointer arithmetic, gcc plugin, formal verification, Text

URL: http://hdl.handle.net/11012/53654

Vylepšení analýzy živých proměnných pomocí points-to analýzy

Autoren: Dudka, Kamil Rogalewicz, Adam Raiskup, Pavel

Index Begriffe: Statická analýza, analýza živých proměnných, analýza ukazatelů, points-to analýza, analýza aliasů, ukazatelová aritmetika, Code Listener, gcc zásuvný modul, formální verifikace, Static analysis, live variable analysis, pointer analysis, points-to analysis, alias analysis, pointer arithmetic, gcc plugin, formal verification, Text

URL: http://hdl.handle.net/11012/53654