Справочник от Автор24
Найди эксперта для помощи в учебе
Найти эксперта
+2

static

Предмет Программирование
Разместил 🤓 maksimov-yuliy
👍 Проверено Автор24

статическая я переменная.

Научные статьи на тему «static»

Тернарные операторы

} public int getAge() { return age; } public void setAge(int age) { this.age = age; } public static...
примере проверка может быть сокращена при помощи тернарного оператора до одной кодовой строки: public static

Статья от экспертов

Static verification of Linux kernel configurations

The Linux kernel is often used as a real world case study to demonstrate novel software product line engineering research methods. It is one of the most sophisticated programs nowadays. To provide the most safe experience of building of Linux product line variants it is necessary to analyse Kconfig file as well as source code. Ten of thousands of variable statements and options even by the standards of modern software development. Verification researchers offered lots of solutions for this problem. Standard procedures of code verification are not acceptable here due to time of execution and coverage of all configurations. We offer to check the operating system with special wrapper for tools analyzing built code and configuration file connected with coverage metric. Such a bundle is able to provide efficient tool for calculating all valid configurations for predetermined set of code and Kconfig. Metric can be used for improving existing analysis tools as well as decision of choice th...

Научный журнал

Библиотека Swing

java.awt.Dimension; import javax.swing.JFrame; import javax.swing.JLabel; public class JFrameTest { public static...
frame.setPreferredSize(new Dimension(200, 100)); frame.pack(); frame.setVisible(true); } public static

Статья от экспертов

Vulnerabilities detection via static taint analysis

Due to huge amounts of code in modern software products, there is always a variety of subtle errors or flaws in programs, which are hard to discover during everyday use or through conventional testing. A lot of such errors could be used as a potential attack vector if they could be exploited by a remote user via manipulation of program input. This paper presents the approach for automatic detection of security vulnerabilities using interprocedural static taint analysis. The goal of this study is to develop the infrastructure for taint analysis applicable for detection of vulnerabilities in C and C++ programs and extensible with separate detectors. This tool is based on the Interprocedural Finite Distributive Subset (IFDS) algorithm and is able to perform interprocedural, context-sensitive, path-insensitive analysis of programs represented in LLVM form. According to our research it is not possible to achieve good results using pure taint analysis, so together with several enhancements...

Научный журнал

Еще термины по предмету «Программирование»

Системы программирования

предназначены для разработки новых программ на конкретном языке программирования и включают в себя компилято- 83 ры, интерпретаторы, диалоговую среду, редакторы текстов, библиотеки стандартных подпрограмм, компоновщики, отладчики, справочные службы и т.д.

🌟 Рекомендуем тебе

Bytecode

(байт-код) машинно-независимый код, который генерирует Java-компилятор.

🌟 Рекомендуем тебе
Смотреть больше терминов

Повышай знания с онлайн-тренажером от Автор24!

  1. Напиши термин
  2. Выбери определение из предложенных или загрузи свое
  3. Тренажер от Автор24 поможет тебе выучить термины с помощью удобных и приятных карточек
Все самое важное и интересное в Telegram

Все сервисы Справочника в твоем телефоне! Просто напиши Боту, что ты ищешь и он быстро найдет нужную статью, лекцию или пособие для тебя!

Перейти в Telegram Bot