Описание тега program-slicing

Описание тега Вопросы с тегом
Program slicing is a technique to analyze certain properties of a program by identifying a fragment of the program - the slice - according to a "slicing criterion". Program slicing is particularly useful when debugging programs.
2 ответа

Python: Как отобразить ошибки в "Создание действительного пароля" и указать, является ли первый символ буквой?

Я пытаюсь создать пароль с типичными требованиями, например, он должен иметь как минимум 1 верхний / нижний регистр и т. Д. Если пароль неверен в соответствии с требованиями, мы должны отобразить ошибки, чтобы пользователь попытался его получить. ис…
02 дек '13 в 13:34
1 ответ

Предварительная обработка исходного кода перед нарезкой с использованием Frama-c

Я пытаюсь сравнить исходный код с нарезанным кодом, но frama-c нормализует код во время синтаксического анализа, что делает операторы нарезанного кода не идентичными операторам исходного кода. Можно ли предварительно обработать код с использованием …
10 сен '14 в 20:41
3 ответа

Пролог - получить факторы для данного числа не останавливается?

Мне нужно найти факторы данного числа, например: ?- divisors2(40,R). R = [40,20,10,8,5,4,2,1]. Код: % get all the numbers between 1-X range(I,I,[I]). range(I,K,[I|L]) :- I < K, I1 is I + 1, range(I1,K,L). % calc the modulo of each element with th…
11 янв '13 в 07:26
1 ответ

Вложенный список с использованием индексации и нарезки

Как мне нарезать или индексировать этот список, чтобы получить ответ ниже? Я пытался сделать несколько методов нарезки, и ничего не помогло мне. L = [0, [], [1,2,3,4], [[5],[6,7]], [8,9,10]] newL = [L[0],L[2][1],L[2][2],L[3][0]] Ответ: [0, 2, 3, [5,…
05 мар '17 в 08:26
1 ответ

Используя FlowDroid программно с платформой Soot?

Я работаю над Java-проектом, целью которого является выполнение техники нарезки вперед с использованием фреймворка Soot. Общая картина моего проекта - преобразовать некоторые файлы байт-кода в форму Jipmle, а затем соответствующим образом выполнить …
09 окт '18 в 17:23
1 ответ

Срез Frama-C: распараллеливаемая петля

Я пытаюсь выполнить обратную нарезку элемента массива в определенной позиции. Я попробовал два разных исходных кода. Первый (first.c): const int in_array[5][5]={ 1,2,3,4,5, 6,7,8,9,10, 11,12,13,14,15, 16,17,18,19,20, 21,22,23,24,25 }; int out_array[…
18 фев '15 в 16:00
1 ответ

Нарезка с помощью Frama-c

Я установил frama-c с opam на свои MacO. Мне нужно нарезать Hello World вручную. Я имею в виду не с Gui. Я искал в интернете, но я не мог понять, как это сделать. Мой английский недостаточно хорош. Так может кто-нибудь помочь мне нарезать HelloWorld…
26 окт '17 в 19:10
1 ответ

Добавление кода отсутствующих функций в frama-c

Прости мое невежество. Мне нужно рассчитать обратные срезы для проекта. После некоторых поисков я наткнулся на frama-c. Я скачал пакет в своей системе Ubuntu, и я получил версию Frama-c: Fluorine-20130601. Я пытаюсь использовать это впервые. При обн…
02 июн '17 в 05:55
1 ответ

Передача нескольких аргументов в файл C при нарезке

Мой основной метод в моем исходном коде ac принимает 2 аргумента: один - имя файла, а другой - целое число. Я запускаю это как: ./a.out filename1.txt 3 Но когда я пытаюсь использовать нарезку с Frama-C frama-c a.c filename1.txt 3 -slice-...... Frama…
06 окт '14 в 18:48
1 ответ

Генерация обратного среза для Java-файла

У меня есть Java-файл, и я хочу получить все строки, которые влияют на результат конкретной строки (Backward Slice Generation). Я знаю решение, но есть ли Java-код для этого? В качестве примера можно указать следующий код: System.out.println("Start"…
13 авг '14 в 08:36
1 ответ

Как установить плагин Impact Analysis для Frama-c в Ubuntu 14.04?

Я установил Frama-c на Ubuntu 14.04, используя следующие команды: sudo apt-get install frama-c Однако, когда я открываю графический интерфейс frama-c, используя следующую команду: frama-c-gui Я не могу найти плагин "Анализ воздействия" в левом окне.…
26 сен '17 в 23:01
1 ответ

Использование Soot программно для анализа исходных файлов.java

Я только начал играть с Soot, чтобы анализировать файлы.java программно. Судя по тому, что я прочитал, Саот кажется очень мощным инструментом для анализа исходного кода, но большая часть материала, который я нашел в Интернете, рассказывает об исполь…
07 окт '15 в 08:12
2 ответа

Найти конкретное слово и прочитать после этого слова в Python

Так что я очень, очень плохо знаком с питоном. нужна базовая помощь Моя логика - найти слова в текстовом файле. party A %aapple 1 Party B %bat 2 Party C c 3 Мне нужно найти все слова, начинающиеся с%. мой код searchfile = open("text.txt", "r") for l…
12 фев '17 в 17:49
0 ответов

Программа нарезки в питоне

Я ищу некоторые функции для нарезки программ. Например, допустим, у меня есть следующий код print("Starting") x = 25 prod = x * 20 div = x / 5 Когда я хочу часть программы, которая необходима для prod тогда слайсер должен вывести меня x = 25 prod = …
01 июн '18 в 22:06
1 ответ

Нарезка кода C с помощью Frama-c

Я хочу нарезать неиспользуемые переменные, которые отображаются с frama-c. Но я понятия не имею, какую командную строку я должен написать, чтобы разделить все неиспользуемые переменные одной командной строкой Last login: Thu Nov 9 20:48:42 on ttys00…
09 ноя '17 в 18:09
1 ответ

Пролог терпит неудачу, не пробуя ни одно из правил RHS

У меня есть этот код: res([],M,M). res([[A,B]|G],inM,M) :- dfs(A, [[A,B]|G], [], [], Out), processResponse(Out,inM,M1), dfs(B, [[A,B]|G], [], [], Out2), processResponse(Out2,M1,M2), res(G,M2,M). Если я бегу res([],[],M)на переводчике работает нормал…
15 май '16 в 10:29
1 ответ

Нарезка с использованием frama-c

Я использую frama-c, чтобы провести несколько экспериментов по нарезке программ. Инструмент отличный, и есть много разных типов нарезки (например, по результату или по выражению). Я использую структуру данных программы, как: typedef struct ComplexDa…
20 янв '17 в 10:36
1 ответ

frama-c останавливает распространение: "Утверждение получило статус недействительный"

Я хочу нарезать файл test.c для всех утверждений. test.c выглядит следующим образом: #include <stdlib.h> typedef struct { float r; float g; float b; } Color; typedef struct { int k; Color* colors; } Colors; void foo(int* a, int k, Colors *colo…
16 июл '16 в 18:49
1 ответ

Можно ли получить обратный динамический срез в Frama-C?

Я получаю обратную часть от Frama-c, но выглядит как статическая часть, а не как динамическая часть. Есть ли конкретная опция в frama-c для получения динамического обратного среза?
24 окт '14 в 20:41
1 ответ

Эйнштейн Риддл, используя Пролог

Я пытаюсь разгадать загадку Эйнштейна, используя Пролог. Когда я пытаюсь бежать по домам (Hs), это показывает, нет. Задача Брит живет в красном доме. Швед держит собак в качестве домашних животных. Датчанин пьет чай. Зеленый дом находится слева от б…
23 апр '16 в 21:16