Search Results - C PROGRAMMING

Security vulnerabilities in C++ programs by Piotr Michał Adamczyk, Marek Miłosz

“…The C++ language, due to its lack of memory control and high flexibility, is particularly prone to security vulnerabilities. …”
Get full text

The C++ programming language in cheminformatics and computational chemistry by Dmitrii Rassokhin

Subjects: “…C…”
Get full text

Flow-sensitive Coding Style Checking for C/C++ Programs by HU Mengze, MA Xutong, ZHANG Hao, ZHANG Jian

“…C/C++ programming languages are applied in numerous critical software systems,and there is an extremely high demand for standardization and clarity of semantics during development.To prevent potential security issues arising from improper use of C/C++ languages,a<i>C/C++ Language Programming Security Subset</i>(referred to as GJB8114) was proposed domestically.Given the abundance of rules within the standard,it's inevitable that programmers may deviate from these norms,thereby necessitating automated rule detection tools to identify such non-compliant coding practices.However,existing rule checking tools do not provide comprehensive checks against the standards,especially for rules that require understanding of the program's context,leading to high false positive rates or even a lack of support for certain checks.This paper categorizes the rules in GJB8114 and defines what constitutes a complex rule.Through evaluating the Testbed tool's capability to inspect complex rules within GJB8114,it identifies that current tools lack thorough flow-sensitive analysis and are unable to perform cross-file global analysis.To address these issues,this study adops a flow-sensitive analysis method combined with syntax tree matching and a cross-file global analysis approach.Based on this,the CruletFS tool is developed.Experimental results demonstrate that CruletFS performs better in checking complex rules compared to common rule checking tools,such as Cppcheck and Testbed.In analyzing large-scale projects,CruletFS also outperforms Cppcheck in terms of time and memory overhead.…”
Get full text

Analyzing C/C++ code entities and relations for program understanding by A. . Belevantsev, E. . Velesevich

“…This paper describes the static analysis tool for finding program entities, their metrics, and relations between entities. …”
Get full text

Scientifi c Program of USICON 2014

Get full text

Alculating the complexity of an algorithm implemented in the C# programming language by I. A. Becker, E. A. Yakimov, N. P. Skrylyov

“…Taking into account the features of programming languages, the authors propose to consider the methodology for calculating this measure of algorithm complexity in the specific language of its implementation, provide formulas for calculating theoretical complexity and the rules for calculating the experimental complexity of program in C#.…”
Get full text

Justification of the program therapy of acute hepatitis C by E. A. Mikhailova, O. L. Sobolevskaya

Get full text

Abstracting Strings for Model Checking of C Programs by Henrich Lauko, Martina Olliaro, Agostino Cortesi, Petr Roc̆kai

“…In this paper, we introduce a domain for abstracting strings in the C programming language, where strings are managed as null-terminated arrays of characters. …”
Get full text

Review of Automated Code Refactoring of C# Programs by Anna Derezinska, Dawid Sygocki

Get full text

C Program Verication in the Multilanguage System Spectrum by V. A. Nepomniashy, I. S. Anureev, M. M. Atuchin, I. V. Maryasov, A. A. Petrov, A. V. Promsky

“…This language provides a unied format to represent both verication meth- ods and data for them (program models, annotations, logic formulas). The C-targeted component of the SPECTRUM system is based on our two-level C program verication method. …”
Get full text

How Close Is Existing C/C++ Code to a Safe Subset? by Christian DeLozier

Subjects: “…C++…”
Get full text

Empirical Study of Software Composition Analysis Tools for C/C++ Binary Programs by Yuqiao Ning, Yanan Zhang, Chao Ma, Zhen Guo, Longhai Yu

“…Software composition analysis (SCA) is essential for understanding and optimizing complex C programs, ensuring system reliability and efficiency. …”
Get full text

Swift vs. Objective-C: A New Programming Language by Cristian González García, Jordán Pascual-Espada, Cristina Pelayo G-Bustelo, Juan Manuel Cueva-Lovelle

Subjects: “…Objective-C…”
Get full text

Transformation of C Programming Language Memory Model into Object-Oriented Representation of EO Language by Alexander I. Legalov, Yegor G. Bugayenko, Nickolay K. Chuykin, Maksim V. Shipitsin, Yaroslav I. Riabtsev, Andrey N. Kamenskiy

“…The paper analyzes the possibilities of transforming C programming language constructs into objects of EO programming language. …”
Get full text

ChildProgramming-C: como una mejora de la dimensión colaborativa del modelo ChildProgramming by Ana María Chimunja, César Alberto Collazos, Julio Ariel Hurtado

“… Con el fin de diseñar procesos reutilizables mediante la estructuración y diseño de actividades para equipos de personas a través de la Ingeniería de la Colaboración, el grupo de Investigación y Desarrollo en Ingeniería del Software (IDIS) de la Universidad del Cauca, ha propuesto el modelo ChildProgramming-C, el cual busca hacer un aporte desde el enfoque de la Ingeniería de la Colaboración al modelo de desarrollo de Software ChildProgramming. …”
Get full text

Second-order optimality conditions for nonlinear programs and mathematical programs by Ikram Daidai

Get full text

The Complex Approach of the C-lightVer System to the Automated Error Localization in C-programs by Dmitry A. Kondratyev, Alexei V. Promsky

“…The C-lightVer system for the deductive verification of C programs is being developed at the IIS SB RAS. …”
Get full text

THE EVALUATION OF AN EMBEDDED SYSTEM KIT AS A C PROGRAMMING TEACHING TOOL by Azizah Suliman, Surizal Nazeri

Subjects: “…C programming…”
Get full text

C-programs Verification on Basis of Mixed Axiomatic Semantics by I. S. Anureev, I. V. Maryasov, V. A. Nepomniaschy

Subjects: “…<i>program verification</i>…”
Get full text

Implementation of Online Learning Lessons in the Package C Program by Guruh Suasana Eddy, Yoyon Suryono

“…The purpose of this study is to obtain a full and in-depth description of the managers and tutors involved in implementing the online package C equality program organized by the Pioneer Community Learning Center. …”
Get full text