Vom 20.12.2025 bis 11.01.2026 ist die Universitätsbibliothek geschlossen. Ab dem 12.01.2026 gelten wieder die regulären Öffnungszeiten. Ausnahme: Medizinische Hauptbibliothek und Zentralbibliothek sind bereits ab 05.01.2026 wieder geöffnet. Weitere Informationen
  • Suche: Program flow analysis

Treffer 1 - 20 von 4.955.948

1

SafeDrop: Detecting Memory Deallocation Bugs of Rust Programs via Static Data-Flow Analysis
Cui, Mohan ; Chen, Chengjun ; Xu, Hui ; et al.

Computer Science - Progr...
Report
Merkliste
2

Main program flow analysis in AVS-M
Shengnan Xu ; Shouyu Wang
2010 International Conference on Networking and Digital Society Networking and Digital Society (ICNDS), 2010 2nd International Conference on. 2:621-624 May, 2010

Konferenz
Merkliste
3

Desyan: A Platform for Seamless Value-Flow and Symbolic Analysis
Diamantakis, Panagiotis ; Avgerinos, Thanassis ; Smaragdakis, Yannis

Software Engineering Programming Languages
Report
Merkliste
4

National health insurance contribution to family planning program funding in Indonesia: A fund flow analysis [version 2; peer review: 2 approved, 1 not approved]
Yufan Putri Astrini ; Althaf Setyawan ; Halimah Mardani ; et al.
Gates Open Research, Vol 7 (2024)

Family planning national health insuranc... health financing Indonesia universal health coverag... health budget …
Fachzeitschrift
Merkliste
5

Hybrid Information Flow Analysis for Programs with Arrays
Barany, Gergö
EPTCS 216, 2016, pp. 5-23

Computer Science - Progr... Computer Science - Crypt... D.3.4 D.4.6
Report
Merkliste
6

Dieses Ergebnis kann Gästen nicht angezeigt werden.

7

Cash Flow Analysis of Fiscal Regimes for Extractive Industries
Thomas Benninger, Author ; Dan Devlin, Author ; Eduardo Camero Godinez, Author ; et al.
IMF Working Papers. 2024(089)

Fachzeitschrift
Merkliste
8

LLM Test Generation via Iterative Hybrid Program Analysis
Gu, Sijia ; Nashid, Noor ; Mesbah, Ali

Software Engineering Artificial Intelligence
Report
Merkliste
9

Dependency-Based Information Flow Analysis with Declassification in a Program Logic
van Delft, Bart ; Bubel, Richard

Computer Science - Logic... Computer Science - Crypt...
Report
Merkliste
10

Data-flow Analysis of Programs with Associative Arrays
Hauzar, David ; Kofroň, Jan ; Baštecký, Pavel
EPTCS 150, 2014, pp. 56-70

Computer Science - Softw... Computer Science - Progr... D.2.4 F.3.2 I.2.2
Report
Merkliste
11

Systematic Approaches to Advanced Information Flow Analysis – and Applications to Software Security
Mohr, Martin

Programmabhängigkeitsgra... Slicing Informationsflusskontrol... Datenflussanalyse Kontrollflussgraphen program dependence graph... …
E-Book
Merkliste
12

Pushdown Exception-Flow Analysis of Object-Oriented Programs
Liang, Shuying ; Might, Matthew ; Gilray, Thomas ; et al.

Computer Science - Progr...
Report
Merkliste
13

Enabling Operator Reordering in Data Flow Programs Through Static Code Analysis
Hueske, Fabian ; Krettek, Aljoscha ; Tzoumas, Kostas

Computer Science - Datab... Computer Science - Distr... Computer Science - Progr...
Report
Merkliste
14

Pushdown Control-Flow Analysis of Higher-Order Programs
Earl, Christopher ; Might, Matthew ; Van Horn, David

Computer Science - Progr... F.3.2 F.4.1
Report
Merkliste
15

Mexico : Financial Sector Assessment Program-Technical Note on Systemic Risk Analysis and Stress Testing
International Monetary Fund. Monetary and Capital Markets Department, Author
IMF Staff Country Reports. 2022(359)

Fachzeitschrift
Merkliste
16

CryptoEval: Evaluating the risk of cryptographic misuses in Android apps with data‐flow analysis
Cong Sun ; Xinpeng Xu ; Yafei Wu ; et al.
IET Information Security, Vol 17, Iss 4, Pp 582-597 (2023)

Android (operating syste... application programme in... learning (artificial int... programme analysis smart phones Computer engineering. Co... …
Fachzeitschrift
Merkliste
17

Stack-Summarizing Control-Flow Analysis of Higher-Order Programs
Earl, Christopher ; Might, Matthew ; Van Horn, David

Computer Science - Progr... F.3.2 F.4.1
Report
Merkliste
18

Binary program taint analysis optimization method based on function summary
Pan YANG, Fei KANG, Hui SHU, Yuyao HUANG, Xiaoshao LYU
网络与信息安全学报, Vol 9, Iss 2, Pp 115-131 (2023)

function summary taint analysis data flow analysis fstaint Electronic computers. Co... QA75.5-76.95
Fachzeitschrift
Merkliste
19

Flow analysis of lazy higher-order functional programs
Jones, Neil D. ; Andersen, Nils
In Theoretical Computer Science 2007 375(1):120-136

Fachzeitschrift
Merkliste
20

Combining Static Analysis Techniques for Program Comprehension Using Slicito
Husák, Robert ; Kofroň, Jan ; Zavoral, Filip

Computer Science - Softw...
Report
Merkliste
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter