Binary program taint analysis optimization method based on function summary by Pan YANG, Fei KANG, Hui SHU, Yuyao HUANG, Xiaoshao LYU

“…Taint analysis is a popular software analysis method, which has been widely used in the field of information security.Most of the existing binary program dynamic taint analysis frameworks use instruction-level instrumentation analysis methods, which usually generate huge performance overhead and reduce the program execution efficiency by several times or even dozens of times.This limits taint analysis technology’s wide usage in complex malicious samples and commercial software analysis.An optimization method of taint analysis based on function summary was proposed, to improve the efficiency of taint analysis, reduce the performance loss caused by instruction-level instrumentation analysis, and make taint analysis to be more widely used in software analysis.The taint analysis method based on function summary used function taint propagation rules instead of instruction taint propagation rules to reduce the number of data stream propagation analysis and effectively improve the efficiency of taint analysis.For function summary, the definition of function summary was proposed.And the summary generation algorithms of different function structures were studied.Inside the function, a path-sensitive analysis method was designed for acyclic structures.For cyclic structures, a finite iteration method was designed.Moreover, the two analysis methods were combined to solve the function summary generation of mixed structure functions.Based on this research, a general taint analysis framework called FSTaint was designed and implemented, consisting of a function summary generation module, a data flow recording module, and a taint analysis module.The efficiency of FSTaint was evaluated in the analysis of real APT malicious samples, where the taint analysis efficiency of FSTaint was found to be 7.75 times that of libdft, and the analysis efficiency was higher.In terms of accuracy, FSTaint has more accurate and complete propagation rules than libdft.…”
Get full text

Mathematical Programming Formulations for the Berth Allocation Problems in Container Seaport Terminals by Awad M. Aljuaid, Mayssa Koubâa, Mohamed Haykal Ammar, Karim Kammoun, Wafik Hachicha

“…<i>Results:</i> The robustness of the proposed models has been proven through a benchmark with tests using data from the literature and real port data, based on the IBM ILOG CPLEX 12.5 solver. …”
Get full text

Analysis of ChatGPT-Generated Codes Across Multiple Programming Languages by Sally Almanasra, Khaled Suwais

“…However, as these models are increasingly adopted in real-world applications, questions surrounding their efficiency and code quality become critical. …”
Get full text

Results of the Hungarian Newborn Screening Pilot Program for Spinal Muscular Atrophy by Krisztina Hegedűs, István Lénárt, Andrea Xue, Péter Béla Monostori, Ákos Baráth, Borbála Mikos, Szabolcs Udvari, Adrienn Géresi, Attila József Szabó, Csaba Bereczki, Mária Judit Molnár, Ildikó Szatmári

“…As the first step, a government-funded pilot program started in November 2022 and continued until the end of 2023. …”
Get full text

Ultra tough and high resilience mechanochromic fibres for real world stress detection by Yu Jin Jeong, Youngeun Lee, Taekyung Won, Ji Won Lee, Youngho Eom, Dae Seok Kim

Get full text

Social Programs in the Structure of Expenditures of the Consolidated Budget of the Federa-tion Subject by A. S. Dmitriev, A. M. Stash

“…The study revealed an upward trend in the volume of budget funds allocated for the implementation of activities within the framework of social environment development programs. At the same time, it was noted that this growth is partially offset by the dynamics of inflation, which indicates the need to optimize expenditure items taking into account data on changes in the consumer price index and the level of real incomes of citizens.Conclusion: centralizing the management of socio-economic development processes seems to be the most rational course of action in an unstable economic system. …”
Get full text

Rebooting Master’s Programs in an Updated Higher Education System: Management Track by E. A. Kuklina

“…To successfully solve the problems of ensuring the demand and competitiveness of the educational product in order to increase the value created by universities, taking into account new requirements for updating the domestic higher education system, it is necessary to update the ongoing master’s programs based on reengineering. It is recommended that master’s programs be updated in accordance with the developed principles of reengineering: taking into account transformational mega-trends when developing program content; strengthening the management component in the curriculum structure; increasing the level of originality of content through the development of “professorial” courses and reflecting this in the KPI system; the possibility of reformatting the curriculum into a block-modular format; participation of employers in the implementation of the master’s training curriculum in order to solve pressing problems of the real sector of the economy; formation of scientific groups of students to carry out research on current research topics with the possibility of using the results obtained in preparing reports on design and analytical work and writing a final qualifying thesis. …”
Get full text

Improving the maintenance program for passenger elevators based on simulation of their operating modes by D. S. Apryshkin, G. Sh. Khazanovich, V. О. Gutarevich

“…The key factors that affect the implementation of regulatory requirements during the operation of the elevator installation are the quality of manufacturing of critical components, the level of real workload, taking into account the actual value of the spent resource, and the implemented maintenance program. …”
Get full text

Semantic influence of programming on the development of thinking of students: background, research and prospects by M. U. Mukasheva, Y. V. Payevskaya

“…Bruner), the concept of learning on micro worlds, which represent some models of the real world (S. Papert), elements of the theory of computation, theory of algorithms and programming (D. …”
Get full text

Advancing sustainable chemistry education: Insights from real-world case studies by Evelyn Araripe, Vânia G. Zuin Zeidler

Get full text

Feasibility of an at‐home, web‐based, interactive exercise program for older adults by Nicole C. Feng, Eliza Ryan, Mhretab Kidane, Erich S. Tusch, Brittany M. McFeeley, Roger Carlsson, Abdul H. Mohammed, Krister Håkansson, Kirk R. Daffner

“…Discussion This study supports the feasibility of a home‐based, subject‐controlled, exercise program in which P&I is regulated via real‐time participant feedback, which may promote self‐efficacy. …”
Get full text

Ketamine and chronic treatment-resistant depression: real-world practice and after relapse by Sumaya Jobnah, Youssef Latifeh, Dina Al Kabani, Lama A. Youssef

Get full text

Study on China Telecom Billing-Side Real-Time Information and Data Synchronization by Jia Liu, Lujing Xia

“…The way was discussed that uploading the data scattered in each province to the headquarter IT center in real time and synchronously. Therefore a method was proposed which combined data files with message increment. …”
Get full text

Study on China Telecom Billing-Side Real-Time Information and Data Synchronization by Jia Liu, Lujing Xia

“…The way was discussed that uploading the data scattered in each province to the headquarter IT center in real time and synchronously. Therefore a method was proposed which combined data files with message increment. …”
Get full text

IGBT Real-time Junction Temperature Calculation Based on Converter Operation Data by LI Yanyong, XIN Li, LAI Wei, LIU Wenye, FU Hangjie, WANG Liping

“…A corresponding calculation program of temperature junction was developed, and performance of the proposed method was compared with PLECS electro-thermal simulation. …”
Get full text

Screening of Reference Genes for Quantitative Real-time PCR in Curcuma alismatifolia Bracts by Jianjun TAN, Lishan HUANG, Yiwei ZHOU, Yechun XU, Yuanjun YE

“…【Objective】To screen suitable reference genes for Quantitative Real-time PCR(qRT-PCR) analysis in Curcuma alismatifolia bract, establishing the theoretical foundation for investigating the functional genes associated with bract color.…”
Get full text

Understanding adaptations in a community-vetted COVID-19 testing program by Breanna J. Reyes, Stephenie Tinoco Calvillo, Angel Lomeli, Angel Lomeli, Arleth A. Escoto, Maria Linda Burola, Kelli L. Cain, Linda Salgin, Linda Salgin, Maria Balbuena-Bojorquez, Anne-Marie Engler, Marva Seifert, Louise C. Laurent, Nicole A. Stadnick, Nicole A. Stadnick, Nicole A. Stadnick, Borsika A. Rabin, Borsika A. Rabin

“…BackgroundAdaptations are expected when complex public health interventions are implemented in dynamically and rapidly changing real-world settings, as seen for many programs during the COVID-19 pandemic. …”
Get full text

PENGEMBANGAN MEDIA PEMBELAJARAN DESAIN GRAFIS DAN ANALISIS REAL BERBASIS DIGITAL by Theresia Laurens, Marlin Blandy Mananggel, Fentje Sapulette

“…Subjek penelitian adalah mahasiswa program studi pendidikan matematika Fakultas Keguruan dan Ilmu Pendidikan Universitas Pattimura yang menawarkan mata kuliah desain grafis dan analisis real. …”
Get full text

Aircraft Gas Turbine Engine Health Monitoring System by Real Flight Data by Mustagime Tülin Yildirim, Bülent Kurt

Get full text

The Burden of Obesity in Saudi Arabia: A Real-World Cost-of-Illness Study by Nagi MA, Almalki ZS, Thavorncharoensap M, Sangroongruangsri S, Turongkaravee S, Chaikledkaew U, Alqahtani AM, AlSharif LS, Alsubaihi IA, Alzarea AI, Alsultan MM

Get full text