Die Suche ergab 243 Treffer

von ericbodden
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
von ericbodden
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.
von ericbodden
10. Nov 2014 08:44
Forum: Implementing code analyses for large software systems (ICA)
Thema: Grades for sheet 1
Antworten: 0
Zugriffe: 464

Grades for sheet 1

... are available in SVN.

Cheers,
Eric
von ericbodden
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 ...
von ericbodden
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...
von ericbodden
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...
von ericbodden
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 ...
von ericbodden
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?
von ericbodden
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
von ericbodden
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
von ericbodden
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...
von ericbodden
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
von ericbodden
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
von ericbodden
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 ...
von ericbodden
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

Zur erweiterten Suche