Die Suche ergab 243 Treffer

von ericbodden
6. Feb 2014 18:00
Forum: Automated Code Analysis for Large Software Systems
Thema: Bonuses
Antworten: 2
Zugriffe: 581

Bonuses

Hi all. I have graded sheet 7 and I have also checked into your group directory a file "bonus.txt" giving information about the bonus you achieved. This is a number between 0 (no bonus) and 1 (one full grade). In case of any discrepancies to your own calculations please let me know. Best wishes, Eric
von ericbodden
2. Feb 2014 12:24
Forum: Automated Code Analysis for Large Software Systems
Thema: Sheet 7
Antworten: 1
Zugriffe: 490

Re: Sheet 7

Thanks for pointing this out. On my Mac this makes no difference apparently. It treats names case-insensitively. Sorry about that.

Eric
von ericbodden
31. Jan 2014 09:54
Forum: Automated Code Analysis for Large Software Systems
Thema: Applications of TamiFlex
Antworten: 0
Zugriffe: 505

Applications of TamiFlex

After yesterday's lecture I was asked what are real-life use cases for using TamiFlex in practice. In the past we and others have used TamiFlex mainly in two scenarios... In the first scenario one uses the Play-out agent only, to make the static analysis, for instance a static taint analysis, aware ...
von ericbodden
24. Jan 2014 14:28
Forum: Automated Code Analysis for Large Software Systems
Thema: [Sheet-6] Aufgabe 1b bzw 1c
Antworten: 3
Zugriffe: 529

Re: [Sheet-6] Aufgabe 1b bzw 1c

Hallo.

Also normal haben Sie natürlich Recht, dass "null" keine gute Idee ist, aus genau dem Grund den Sie beschreiben. Ich wollte es aber für diese Aufgabe simpel halten; daher bin ich nett und erlaube auch null :-)

Aber schön, dass Sie das Problem erkannt und verstanden haben!

Gruß,
Eric Bodden
von ericbodden
24. Jan 2014 14:26
Forum: Automated Code Analysis for Large Software Systems
Thema: Sheet 6 Exercise 2: Order of method calls?
Antworten: 1
Zugriffe: 499

Re: Sheet 6 Exercise 2: Order of method calls?

... expained in person. Please let me know if there are still questions.
von ericbodden
20. Jan 2014 09:38
Forum: Automated Code Analysis for Large Software Systems
Thema: This Thursday: Evaluation by the Fachschaft
Antworten: 0
Zugriffe: 433

This Thursday: Evaluation by the Fachschaft

Dear all,

this Thursday there will be the lecture evaluation by the Fachschaft, which I will reserve a time slot for at the end of the lecture. I encourage you all to participate; the feedback is very important for us.

Best wishes,
Eric
von ericbodden
17. Jan 2014 07:58
Forum: Automated Code Analysis for Large Software Systems
Thema: Sicherheits-Codescans direkt in der IDE
Antworten: 0
Zugriffe: 459

Sicherheits-Codescans direkt in der IDE

Nächsten Donnerstag werde ich in der Java User Group einen Vortrag halten zum Thema Sicherheits-Codescans direkt in der IDE . Ich werde zwei Prototypen zeigen, die effizient Codeanalysen in Eclipse ausführen, sich über ein einfaches Fluent Interface konfigurieren lassen und die Ergebnisse in Eclipse...
von ericbodden
8. Jan 2014 16:36
Forum: Automated Code Analysis for Large Software Systems
Thema: Grades for sheet 4...
Antworten: 0
Zugriffe: 365

Grades for sheet 4...

... should now all have been committed. Sheet 5 will be coming up soon.

Eric
von ericbodden
6. Jan 2014 14:46
Forum: Automated Code Analysis for Large Software Systems
Thema: Questionnaire
Antworten: 0
Zugriffe: 431

Questionnaire

Hi all. So far 7 people have answered the mid-term questionnaire. Thanks to those students! All the other ones I would like to motivate to still provide feedback now: https://docs.google.com/spreadsheet/viewform?usp=drive_web&formkey=dDgycjRueFR5M1JtdDJiUUs2ZTRrdVE6MA#gid=0 Thanks in advance, Eric P...
von ericbodden
4. Jan 2014 13:30
Forum: Abschlussarbeiten
Thema: Masterthesis: Uncovering Faulty Random-Number Generators
Antworten: 0
Zugriffe: 329

Masterthesis: Uncovering Faulty Random-Number Generators

Virtually all current cryptographic implementations rely on random-number generators that are able to return truly uniformly distributed random numbers. In the past, however, many pieces of software use random numbers incorrectly, effectively losing randomness in the process, leading to insecure imp...
von ericbodden
4. Jan 2014 13:29
Forum: Automated Code Analysis for Large Software Systems
Thema: Thesis project: Uncovering Faulty Random-Number Generators
Antworten: 0
Zugriffe: 406

Thesis project: Uncovering Faulty Random-Number Generators

Virtually all current cryptographic implementations rely on random-number generators that are able to return truly uniformly distributed random numbers. In the past, however, many pieces of software use random numbers incorrectly, effectively losing randomness in the process, leading to insecure imp...
von ericbodden
19. Dez 2013 12:55
Forum: Automated Code Analysis for Large Software Systems
Thema: get{Call,Return}FlowFunction vs. getCallToReturnFlowFunction
Antworten: 2
Zugriffe: 562

Re: get{Call,Return}FlowFunction vs. getCallToReturnFlowFunc

Hi. Sure, this was on the IFDS slides and IDE slides, and it is also explained in the IFDS paper. The call-flow function goes from the caller stmt to the first stmt in the callee method. The return-flow function goes from every exit statement of the callee to the successor of the call statement. The...
von ericbodden
19. Dez 2013 12:47
Forum: Automated Code Analysis for Large Software Systems
Thema: Debugging your IFDS-based analyses
Antworten: 0
Zugriffe: 484

Debugging your IFDS-based analyses

Hi all. One hint about debugging your IFDS-based analyses: Heros has an option to produce a trace of all computed jump functions. To enable this trace, give the following option to your Java VM , not to Soot: -Dorg.slf4j.simpleLogger.defaultLogLevel=trace An example trace looks like follows: [pool-5...
von ericbodden
17. Dez 2013 17:09
Forum: Automated Code Analysis for Large Software Systems
Thema: Slides on SPLlift are online
Antworten: 0
Zugriffe: 297

Slides on SPLlift are online

Hi all.

I have just uploaded the slides for this week's lecture.

Cheers,
Eric
von ericbodden
17. Dez 2013 15:36
Forum: Automated Code Analysis for Large Software Systems
Thema: Midterm questionnaire
Antworten: 0
Zugriffe: 496

Midterm questionnaire

Hi all. As most of you will know, the Fachschaft will be distributing course-evaluation forms at the end of this course. This kind of feedback is very important to lecturers like me, as it greatly helps improve future versions of this course. On the other hand, this feedback only comes after the end...

Zur erweiterten Suche