## Die Suche ergab 243 Treffer

26. Nov 2014 08:45
Forum: Designing code analyses for large software systems (DECA)
Thema: Slides online
Antworten: 0
Zugriffe: 364

### Slides online

The slides for previous and today's lecture are now available in SVN.

Cheers,
Eric
11. Nov 2014 15:59
Forum: Designing code analyses for large software systems (DECA)
Thema: Solution to sheet 1 is out
Antworten: 0
Zugriffe: 399

### Solution to sheet 1 is out

Hi all.

I have uploaded the example solution to sheet 1. We will explain it in tomorrow's lecture. Note that it's not a problem if your formalization differs slightly, as long as it can be considered correct.
10. Nov 2014 08:44
Forum: Implementing code analyses for large software systems (ICA)
Antworten: 0
Zugriffe: 464

... are available in SVN.

Cheers,
Eric
7. Nov 2014 10:26
Forum: Designing code analyses for large software systems (DECA)
Thema: Basic clarification: Lattice, Flow Function
Antworten: 5
Zugriffe: 1223

### Re: Basic clarification: Lattice, Flow Function

More Questions: 1. Which kind of constant propagation were we asked to define, a general general case or just a special one ? 2. Does a sensible notation suggest a system which contains analysis direction, variables related to constants, data flow lattice, flow functions, merge functions and so on ...
6. Nov 2014 16:21
Forum: Designing code analyses for large software systems (DECA)
Thema: Clarification on today's lecture
Antworten: 2
Zugriffe: 481

### Re: Clarification on today's lecture

Hello. Hello Professor Bodden, I wanted to ask a similar question. Regarding the arrays what if X and Y are two arrays and both contain objects as its elements. then {X,Y} can point to two or more objects. (this will further complicate things since in the above case the its not possible for strong u...
6. Nov 2014 10:49
Forum: Designing code analyses for large software systems (DECA)
Thema: Basic clarification: Lattice, Flow Function
Antworten: 5
Zugriffe: 1223

### Re: Basic clarification: Lattice, Flow Function

Hi, could anyone help me getting some basic concepts straigt? I get what a lattice generally is. But in our case, what are the actual elements of the lattices? Statements? Program states? And what exactly are flow functions? At first I thought the elements of the lattice are program states (meaning...
5. Nov 2014 18:32
Forum: Designing code analyses for large software systems (DECA)
Thema: Clarification on today's lecture
Antworten: 2
Zugriffe: 481

### Clarification on today's lecture

In today's lecture I was asked the question of whether the same variables in two different sets of access paths must point to the same object. (at least that's how I understood the question) Let me elaborate on that. I might not have been clear in the lecture... Assume this example: x = new ..(); y ...
5. Nov 2014 10:31
Forum: Automated Code Analysis for Large Software Systems
Thema: Gruppe Suche!
Antworten: 1
Zugriffe: 1737

### Re: Gruppe Suche!

Falsches Forum?
5. Nov 2014 10:14
Forum: Designing code analyses for large software systems (DECA)
Thema: Font embedding in slides to prevent viewing problems
Antworten: 1
Zugriffe: 471

### Re: Font embedding in slides to prevent viewing problems

I am sorry but I thought that fonts are already being embedded. Also I don't really see anything wrong with the slide you are showing. Could you please elaborate?

Thanks
31. Okt 2014 16:37
Forum: Designing code analyses for large software systems (DECA)
Thema: Exam date fixed: March 10th
Antworten: 0
Zugriffe: 337

### Exam date fixed: March 10th

Hi all.

Due to numerous requests I now fixed the exam date for early March:

March 10, 2014, 16:00, S101/A1 (Audimax)

This will be a 90 minutes closed-book exam. Dictionaries are allowed but no other aids. The exam will be in English, but answers in German will be permitted.

Best wishes,
Eric
30. Okt 2014 17:28
Forum: Designing code analyses for large software systems (DECA)
Thema: Sheet 1 Exercise 2
Antworten: 2
Zugriffe: 603

### Re: Sheet 1 Exercise 2

Hello. Hello everyone, I'm having some trouble with defining the lattice and flow functions for the given exercise. My main problem is understanding the monotonicity for my flow function. Assume I'm having statements like: int x = getValue(); [...] x = 3; Assume I define the lattice as follows: http...
30. Okt 2014 13:59
Forum: Designing code analyses for large software systems (DECA)
Thema: Exam dates
Antworten: 12
Zugriffe: 1356

### Re: Exam dates

We are still working on a date for March
29. Okt 2014 09:08
Forum: Designing code analyses for large software systems (DECA)
Thema: Slide set 3 online
Antworten: 0
Zugriffe: 333

### Slide set 3 online

Hi all.

I just committed the slides for the third lecture to SVN.

Cheers,
Eric
23. Okt 2014 09:32
Forum: Automated Code Analysis for Large Software Systems
Thema: Zeitänderung Vorlesung
Antworten: 2
Zugriffe: 669

### Re: Zeitänderung Vorlesung

... in der Tat, neuer Name, neues Forum. Der Grund für die Verschiebung ist, dass wir zu viele Anmeldungen haben. 160+ Studenten können im Fraunhofer SIT nicht zu allen Terminen untergebracht werden - erst recht nicht, wenn man eine Schreibmöglichkeit bieten möchte. Daher war die Umverlegung leider ...
22. Okt 2014 17:47
Forum: Designing code analyses for large software systems (DECA)
Thema: Mistake on first sheet
Antworten: 0
Zugriffe: 364

### Mistake on first sheet

Hi all.

I just uploaded a new version of Sheet 1 (at 17:46 Oct 22). There was one line of assembler missing from the code in Exercise 1. Sorry about the mistake.

Eric