Die Suche ergab 15 Treffer

von bhermann
24. Mai 2016 13:07
Forum: Applied Static Analysis
Thema: Bugfix for PointerObservations transformer
Antworten: 0
Zugriffe: 342

Bugfix for PointerObservations transformer

Thanks to Patrick Müller we have a bugfix for my faulty implementation of PointerObservations.cpp. Here is my buggy line: Constant* strVal = ConstantExpr::getGetElementPtr(Type::getInt8PtrTy(ctx), GVStr, indices, true); And here is Patrick's fixed version: Constant* strVal = ConstantExpr::getGetElem...
von bhermann
19. Mai 2016 15:55
Forum: Applied Static Analysis
Thema: Compiling and running LLVM IR code on your machine
Antworten: 0
Zugriffe: 430

Compiling and running LLVM IR code on your machine

Since I've been caught a little bit off-guard on this issue in the lecture, here are some pointers to actually make something meaningful with (transformed) programs in LLVM IR bitcode. If you want to compile down an executable ELF file: llvm@68e3b3fbd8a7:~/examples$ clang -c -emit-llvm test.c llvm@6...
von bhermann
19. Mai 2016 15:30
Forum: Applied Static Analysis
Thema: Invalid alias in Docker container
Antworten: 1
Zugriffe: 376

Re: Invalid alias in Docker container

This issue is resolved in the new version of the container
If you want to upgrade please use:

Code: Alles auswählen

docker pull bhermann/llvm
von bhermann
13. Mai 2016 17:54
Forum: Applied Static Analysis
Thema: Invalid alias in Docker container
Antworten: 1
Zugriffe: 376

Invalid alias in Docker container

Unfortunately, I made a mistake when building the Docker container for you.
Please note that the alias for

Code: Alles auswählen

llvm-dis
is invalid.
Use

Code: Alles auswählen

llvm-dis-3.6
instead until I fix the container.
Thanks to Jakob Schmid for pointing this out.
von bhermann
27. Nov 2014 10:49
Forum: Archiv
Thema: Projektmanagement Workshops
Antworten: 7
Zugriffe: 9464

Re: WICHTIG! DRINGEND! Projektmanagement Workshops

A126

Wir freuen uns drauf mit euch allen zu diskutieren, was ihr bis Freitag einreicht. :)
von bhermann
26. Nov 2014 13:27
Forum: Archiv
Thema: Projektmanagement Workshops
Antworten: 7
Zugriffe: 9464

Re: WICHTIG! DRINGEND! Projektmanagement Workshops

Die Montag und Dienstag Termine sind in Raum A213.
Der Termin am Freitag ist in Raum A313.

Team REA: Was soll es sein? Mittwoch oder Donnerstag?
von bhermann
25. Nov 2014 15:31
Forum: Archiv
Thema: Projektmanagement Workshops
Antworten: 7
Zugriffe: 9464

Projektmanagement Workshops

Hey liebe Gruppen des Jahrgangs 2014/2015, in der nächsten Woche werden Michael und ich die Projektmanagement Workshops mit euch durchführen. Da bisher keiner von euch der Bitte nachgekommen ist sich bei mir zu melden, werden wir einfach mal proaktiv tätig. Bitte antwortet mir auf diesen Forumspost ...
von bhermann
20. Okt 2014 13:55
Forum: Archiv
Thema: Projektvorschläge 2014/2015 online
Antworten: 0
Zugriffe: 1457

Projektvorschläge 2014/2015 online

Die neuen Projektvorschläge, die am Freitag bei der SE-Messe vorgestellt werden, sind jetzt auf unserer Kurswebseite online:

http://stg-tud.github.io/sep/schedule/

Bitte vergessen Sie nicht, sich auch in TuCaN zu registrieren.
von bhermann
3. Feb 2014 12:41
Forum: Abschlussarbeiten
Thema: BSc/MSc ITSec Classification of native methods of the JCL
Antworten: 0
Zugriffe: 298

BSc/MSc ITSec Classification of native methods of the JCL

The Java Class Library (JCL) – with Java being one of the majorly adopted programming languages – is heavily used and an implicitly trusted library on which many mission critical applications are based. In order to prevent abuse, Java has a sophisticated security model to ensure the isolation of pro...
von bhermann
3. Feb 2014 12:40
Forum: Abschlussarbeiten
Thema: BSc/MSc ITSec Charting data flows to the JCL native part
Antworten: 0
Zugriffe: 254

BSc/MSc ITSec Charting data flows to the JCL native part

The Java Class Library (JCL) – with Java being one of the majorly adopted programming languages – is heavily used and an implicitly trusted library on which many mission critical applications are based. In order to prevent abuse, Java has a sophisticated security model to ensure the isolation of pro...
von bhermann
3. Feb 2014 12:37
Forum: Abschlussarbeiten
Thema: BSc/MSc ITSec Modelling the use of native methods in the JCL
Antworten: 0
Zugriffe: 258

BSc/MSc ITSec Modelling the use of native methods in the JCL

The Java Class Library (JCL) – with Java being one of the majorly adopted programming languages – is heavily used and an implicitly trusted library on which many mission critical applications are based. In order to prevent abuse, Java has a sophisticated security model to ensure the isolation of pro...
von bhermann
8. Okt 2013 11:17
Forum: Jobs
Thema: English-speaking Student Assistant for Thesis Corrections
Antworten: 0
Zugriffe: 193

English-speaking Student Assistant for Thesis Corrections

The Center for Advanced Security Research Darmstadt (CASED) is looking for student assistant for the task of helping correct English-language mistakes in PhD theses by CASED graduate students. CASED provides an open, friendly and international working environment with flexible working hours. The pos...
von bhermann
8. Mär 2013 16:24
Forum: Jobs
Thema: English-speaking Student Assistant for Thesis Corrections
Antworten: 0
Zugriffe: 349

English-speaking Student Assistant for Thesis Corrections

The Center for Advanced Security Research Darmstadt (CASED) is looking for student assistant for the task of helping correct English-language mistakes in PhD theses by CASED graduate students. CASED provides an open, friendly and international working environment with flexible working hours. The pos...
von bhermann
29. Okt 2012 09:33
Forum: Archiv
Thema: Registration
Antworten: 1
Zugriffe: 400

Registration

To register for the 2012/2013 course, please perform the following steps: http://www.stg.tu-darmstadt.de/teaching/courses/ws2012/se_project_2012/sep_anmeldung_1/sep_registration_2012.de.jsp We would like to have the group assignments ready as soon as possible, so send your registration TODAY! Thank ...
von bhermann
11. Okt 2012 10:15
Forum: Archiv
Thema: Software Engineering Projekt 2012/2013
Antworten: 0
Zugriffe: 440

Software Engineering Projekt 2012/2013

Die Übersicht der neuen Projekt-Themen für 2012/2013 ist online: http://www.stg.tu-darmstadt.de/teaching/courses/ws2012/se_project_2012/fair_2012/index.de.jsp Am 26.10.2012 ab 12:30 Uhr findet die SE-Messe statt, bei der Sie Gelegenheit haben, mit den Teilnehmern des Jahrgangs 2011/2012 über ihre Ei...

Zur erweiterten Suche