Die Suche ergab 11 Treffer

von Johannes Spaeth
22. Dez 2014 11:08
Forum: Implementing code analyses for large software systems (ICA)
Thema: Grades for sheet 4
Antworten: 0
Zugriffe: 457

Grades for sheet 4

Hi,

we corrected the exercise sheet 4 and comittet your points to the SVN.

The solution can be found in the SVN as well.

Merry christmas!

Johannes
von Johannes Spaeth
12. Dez 2014 16:24
Forum: Implementing code analyses for large software systems (ICA)
Thema: Constant Propagation in Task 1 of Sheet 4
Antworten: 2
Zugriffe: 527

Re: Constant Propagation in Task 1 of Sheet 4

Hi,

yes, Vespertine is absolutely right!

Cheers,

Johannes
von Johannes Spaeth
11. Dez 2014 19:13
Forum: Implementing code analyses for large software systems (ICA)
Thema: Sheet 4 Ex. 1a)
Antworten: 3
Zugriffe: 879

Re: Sheet 4 Ex. 1a)

Hi, we noticed some problems of VASCO concerning the context. Some context were finally never analyzed, leading to wrong results. We reported a bug fix in a pull request, which was merged in the github repository. It looks like your issues are due to the facts that not all context are analysed. So p...
von Johannes Spaeth
2. Dez 2014 08:04
Forum: Implementing code analyses for large software systems (ICA)
Thema: Wrong testcase for sheet 4 task 1
Antworten: 3
Zugriffe: 739

Re: Wrong testcase for sheet 4 task 1

Hi, now I see the point, but the error was in TargetClass1, as there is actually no dead code. So I added an else Stmt in the targetclass, which is then of course dead at this point. So for if h != b goto label1; you must report true as this branch (starting at label1) is then dead (becaue h == b al...
von Johannes Spaeth
1. Dez 2014 09:21
Forum: Implementing code analyses for large software systems (ICA)
Thema: Wrong testcase for sheet 4 task 1
Antworten: 3
Zugriffe: 739

Re: Wrong testcase for sheet 4 task 1

Hi,

speaking of the Java source code, you are right.
But as we analyze Jimple, the reporting is also based on the Jimple code, where the conditions are somewhat different!

So have a look into the Jimple code, what needs to be reported. I hope it helps!

Johannes
von Johannes Spaeth
18. Nov 2014 12:55
Forum: Implementing code analyses for large software systems (ICA)
Thema: Grades for sheet 2
Antworten: 0
Zugriffe: 438

Grades for sheet 2

Hi all,

we published the grades for sheet 2 today!
von Johannes Spaeth
14. Nov 2014 09:43
Forum: Implementing code analyses for large software systems (ICA)
Thema: Sheet 3
Antworten: 4
Zugriffe: 1018

Re: Sheet 3

Hi Lukas,

we actually published the sheet yesterday around 3pm. The sheet is available since then.

Cheers,

Johannes
von Johannes Spaeth
6. Nov 2014 11:15
Forum: Implementing code analyses for large software systems (ICA)
Thema: Published solutions for Sheet 1
Antworten: 0
Zugriffe: 414

Published solutions for Sheet 1

Hi all,

we just put the solutions for exercise sheet 1 to the SVN.

Best regards,

Johannes
von Johannes Spaeth
3. Nov 2014 18:36
Forum: Implementing code analyses for large software systems (ICA)
Thema: Sheet 2 Exercise 1a Rule 5
Antworten: 4
Zugriffe: 817

Re: Sheet 2 Exercise 1a Rule 5

Hi Lukas,

yes, you just need to treat locals, that is perfectly fine for the moment!
von Johannes Spaeth
3. Nov 2014 09:53
Forum: Implementing code analyses for large software systems (ICA)
Thema: Sheet 2 Exercise 1a Rule 5
Antworten: 4
Zugriffe: 817

Re: Sheet 2 Exercise 1a Rule 5

Hi Lukas, you are absolutely right, there was a mistake in the formulation and it should be in the way in which you stated the rule. We updated the exercise sheet in the SVN and the rule is now: If the right side of an assignment is an instance field reference, and the base of the right side is tain...
von Johannes Spaeth
30. Okt 2014 13:50
Forum: Implementing code analyses for large software systems (ICA)
Thema: Updated Template for ICA sheet 2
Antworten: 0
Zugriffe: 472

Updated Template for ICA sheet 2

Hi all, we noticed, that the soot command line options in the current template for the ICA sheet 2 could still be improved, such that less classes are analysed. We commited the updated version of the template to the SVN. The changes are rather small and won't interfer with your current development s...

Zur erweiterten Suche