Die Suche ergab 61 Treffer

von pSub
11. Dez 2013 17:50
Forum: Automated Code Analysis for Large Software Systems
Thema: Solution for sheet 4
Antworten: 4
Zugriffe: 825

Re: Solution for sheet 4

We had trouble to handle the problem in task 1f), thus I copied our test into the sample solution. But the sample solution does not pass the test, too, and from glancing over the code I do not see how this case is handled in the code. I use the following test: public class TargetClass4 { private cla...
von pSub
18. Nov 2013 13:17
Forum: Automated Code Analysis for Large Software Systems
Thema: fieldParameter2 leaks?
Antworten: 1
Zugriffe: 856

fieldParameter2 leaks?

Hi, should the following program really leak data from param into leak(foo)? I would say no, as only field whatsoever is tainted (because of param), but not field foo which is only assigned in the constructor to a constant. public void fieldParameter2(String param) { whatsoever = param; leak(foo); }...
von pSub
11. Nov 2013 14:45
Forum: Automated Code Analysis for Large Software Systems
Thema: Sheet 2 - Allgemeine Fragen
Antworten: 8
Zugriffe: 1100

Re: Sheet 2 - Allgemeine Fragen

Ich konnte das Problem mit der Endlosschleife noch ein bisschen weiter eingrenzen. In der zweiten Testsuite tritt die Endlosschleife erst bei Test "methodToReturn2" auf. Dort wird eine Methode *ohne* Parameter aufgerufen. Also alles ein bisschen mysteriös.
von pSub
11. Nov 2013 13:42
Forum: Automated Code Analysis for Large Software Systems
Thema: Sheet 2 - Allgemeine Fragen
Antworten: 8
Zugriffe: 1100

Re: Sheet 2 - Allgemeine Fragen

Zu dem Thema hätte ich auch noch eine Frage. Bei unserer jetzigen Implementierung der IntraproceduralAnalysis Klasse tritt der Fall auf, dass Soot bei der Analyse eben dieser Klasse, genauer gesagt der flowThrough1 Methode, in einer Endlosschleife hängen bleibt. Alle anderen Klassen, also vor allem...
von pSub
5. Nov 2013 21:53
Forum: Type Systems of Programming Languages
Thema: Assignment 3 Due
Antworten: 2
Zugriffe: 499

Re: Assignment 3 Due

In addition there is a small typo in the template for task 1. The line

Code: Alles auswählen

  override def typechek = super.typecheck orElse {
should read

Code: Alles auswählen

  override def typecheck = super.typecheck orElse {
(Notice the 'c' in typecheck)
von pSub
3. Nov 2013 18:37
Forum: Type Systems of Programming Languages
Thema: Exercise Solutions
Antworten: 2
Zugriffe: 381

Re: Exercise Solutions

Solutions are published via Weblab. Login, select an exercise and click in the "navigation menu" on the button with a captial A.

Hope that helps.
von pSub
26. Okt 2013 15:17
Forum: Type Systems of Programming Languages
Thema: Assignment 2
Antworten: 6
Zugriffe: 2817

Re: Assignment 2

How to test for not well-behaved programs? In the repository code for L03_Cond we use something like (simplified) I checked whether the normalization results in the correct stuck term. Something like this should work (replacing everything in <> with scala terms): def test { expect ( <Stuckterm> ) {...
von pSub
5. Jul 2013 12:02
Forum: Algorithms of Language Technology
Thema: Hausübung 9, Aufgabe 2: n-gram precision
Antworten: 2
Zugriffe: 496

Re: Hausübung 9, Aufgabe 2: n-gram precision

Ok, vielen Dank für die Antwort!
von pSub
4. Jul 2013 22:33
Forum: Algorithms of Language Technology
Thema: Hausübung 9, Aufgabe 2: n-gram precision
Antworten: 2
Zugriffe: 496

Hausübung 9, Aufgabe 2: n-gram precision

Hallo, um den BLEU3 Score auszurechnen müssen wir die n-gram precisions ausrechnen. Mir ist jedoch nicht ganz klar wie diese definiert sind (in den Folien konnte ich dazu nichts genaues finden). Wenn ich n-gram precision wie eine "normale" precision definiere, dann habe ich das Problem, das diese Nu...
von pSub
28. Jun 2013 17:20
Forum: Archiv
Thema: Imports and Language Extensions
Antworten: 2
Zugriffe: 617

Re: Imports and Language Extensions

For solving the current homework it would be beneficial to use functions from Control.Applicative, Control.Arrow or maybe from other modules as well. Is it allowed to import those modules as long as they are provided with a recent release of the haskellplatform and do not implement the whole soluti...
von pSub
28. Jun 2013 16:13
Forum: Archiv
Thema: Imports and Language Extensions
Antworten: 2
Zugriffe: 617

Imports and Language Extensions

Hi, I have two questions regarding the current homework: For solving the current homework it would be beneficial to use functions from Control.Applicative, Control.Arrow or maybe from other modules as well. Is it allowed to import those modules as long as they are provided with a recent release of t...
von pSub
28. Apr 2013 11:02
Forum: Archiv
Thema: Fehler in Exercise 2 -- Interpreter
Antworten: 6
Zugriffe: 992

Re: Fehler in Exercise 2 -- Interpreter

Bei mir tritt das Problem mit den offenen Tests auch auf. Um das Problem zu beheben, muss man einfach in der ersten Zeile der Datei mit den Tests folgendes eintragen

Code: Alles auswählen

//test: Test
Danach sollten diese Tests wieder funktionieren.
von pSub
26. Apr 2013 13:32
Forum: Archiv
Thema: Fehler in Exercise 2 -- Interpreter
Antworten: 6
Zugriffe: 992

Fehler in Exercise 2 -- Interpreter

Hallo, in den Tests zur ersten Teilaufgabe hat sich ein Fehler eingeschlichen. In dem Solution Template heißen die Klassen Num, Add, Sub, ect. in den Tests jedoch NumDB, AddDB, SubDB, etc. Wäre cool, wenn das behoben werden könnte. :-) Edit: Wenn ich mir so den Zweiten Teil anschaue, würde es Sinn m...
von pSub
14. Jun 2012 09:35
Forum: Offtopic
Thema: Functional Programming Group
Antworten: 2
Zugriffe: 2581

Re: Functional Programming Group

Danke für die gute Idee, das werde ich mal versuchen.
von pSub
11. Jun 2012 11:38
Forum: Offtopic
Thema: Functional Programming Group
Antworten: 2
Zugriffe: 2581

Functional Programming Group

Hallo, ich bin schon länger auf der Suche nach eine Gruppe die sich mit Themen rund um funktionale Programmierung beschäftigt. Im Umkreis von Darmstadt konnte ich leider keine solche Gruppe finden. Mit diesem Post will ich versuchen herauszufinden wie viele Interessenten es für eine solche Gruppe gi...

Zur erweiterten Suche