Stack Overflow
Stack Overflow

Questions tagged [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.

Program slicing is a technique to analyze certain program properties by identifying a fragment of the program – the slice – according to a slicing criterion.

Program slicing is particularly useful when debugging programs.

Concrete slicing techniques:

To determine the reason for infinite loops in programs see .

42 questions
1
vote
1 answer

frama-c stops propagation: "Assertion got status invalid"

I want to slice the file test.c for all assertions. test.c looks as follows: #include typedef struct { float r; float g; float b; } Color; typedef struct { int k; Color* colors; } Colors; void foo(int* a, int k, Colors…
Paddre
  • 798
  • 1
  • 9
  • 19
1
vote
1 answer

Prolog fails without trying any of the RHS rules

I have this code: 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). If I run res([],[],M), on the…
devil0150
  • 1,350
  • 3
  • 13
  • 36
1
vote
1 answer

Something wrong with predicate in prolog-same results for every date

I have the below code in Prolog and the problem is that when i run the code it returns for every data the same result. ?- run(Diagnosis). Diagnosis='There is no problem with anemia'. The KB is in another file and load it and in start predicate i…
Debbie Mp
  • 163
  • 1
  • 11
1
vote
1 answer

Is it possible to get a backward Dynamic Slice in Frama-C?

I get a backward slice from Frama-c, but looks like its a static slice and not a dynamic slice. Is a specific option in frama-c to get a dynamic backward slice?
Anitha Murugesan
  • 77
  • 3
1
vote
1 answer

/*undefined sequence*/ in sliced code from Frama-C

I am trying to slice code using Frama-C. The source code is static uint8_T ALARM_checkOverInfusionFlowRate(void) { uint8_T ov; ov = 0U; if (ALARM_Functional_B.In_Therapy) { if (ALARM_Functional_B.Flow_Rate > ALARM_Functional_B.Flow_Rate_High) { …
Anitha Murugesan
  • 77
  • 3
0
votes
2 answers

SIice a numpy array based on an interval?

Is it possible to systematically slice an 1d array of length m by an interval n in numpy? Say I have a list of 1000 values, could I break that into 10 lists of 100 values easily?
BOUNCE
  • 147
  • 6
0
votes
1 answer

How does the program-slicing plug-in Indus and kaveri work in eclipse?

I learned that Indus is a framework for program slicing, and kaveri is its plug-in on eclipse.The download link of Indus is http://forge.cis.ksu.edu/frs/?Group_id=12, but I can't open it. However I found a CVS repo in github (…
Yilia.Zhang
  • 19
  • 4
0
votes
1 answer

Using FlowDroid programmatically with the Soot framework?

I am working on a Java project which aims to perform forward slicing technique using the Soot framework . The global picture of my project is to convert some bytecode files to Jipmle form and then perform forward slicing technique accordingly,…
ANter
  • 1
  • 3
0
votes
1 answer

Slicing with Frama-c

I installed frama-c with opam on my MacOs. I need to slice Hello World by manually. I mean not with Gui. I searched on the internet but I could not understand how do it. My english is not well enough. So can somebody help me to slice HelloWorld.c ?
mustafakoseoglu
  • 13
  • 1
  • 4
0
votes
1 answer

Adding Code of missing functions in frama-c

Forgive my ignorance. I need to do calculate backward slices for a project. After some searching, I came across frama-c. I downloaded the package on my ubuntu system which got me Frama-c Version: Fluorine-20130601. I am trying to use it for the…
Jina Lee
  • 119
  • 2
  • 10
0
votes
1 answer

Passing multiple arguments to C file when slicing

My main method in my source code a.c accepts 2 arguments : one is a file name and the other is an integer. I run it like : ./a.out filename1.txt 3 But when I try to use slicing with frama-c frama-c a.c filename1.txt 3…
Anitha Murugesan
  • 77
  • 3
0
votes
2 answers

Python: How to display errors in "Making a Valid Password" and indicate if first character is a letter?

I'm trying to make a password with typical requirements like it has at least 1 uppercase/lowercase, etc. If the password is not valid according to the requirements, we have to display the errors in order for the user to try to get it correct again.…
user3057499
  • 35
  • 3
1 2
3