Die Suche ergab 212 Treffer

von aderhold
27. Nov 2012 17:35
Forum: Archiv
Thema: Greatest / least element of a lattice
Antworten: 1
Zugriffe: 567

Re: Greatest / least element of a lattice

As you correctly observed, each element of a lattice is an upper bound of the empty set. Thus the least upper bound of the empty set is the least element of the lattice. That's the intuition behind the definition.
von aderhold
9. Jul 2012 16:24
Forum: Secure Coding Lab
Thema: Assignment 7: Should old program format still be supported?
Antworten: 1
Zugriffe: 2226

Re: Assignment 7: Should old program format still be support

I noticed that the argument for CFG generation is now called -cfg instead of the old -cfgfile. No, the command line parameters are as in Assignment 2 (Task 2), cf. also the section "Tool Usage" on the web page of the lab course. Does this mean that our tool should still support generating CFGs for ...
von aderhold
9. Jul 2012 09:45
Forum: Secure Coding Lab
Thema: Assignment 7: Explicit labels for call statements
Antworten: 1
Zugriffe: 580

Re: Assignment 7: Explicit labels for call statements

The syntax of the "old" labeled statements such as assignments to variables remains unchanged. For "call" statements, I do not insist on a particular syntax (and I will not carry out tests that require the parser to parse "call" statements with explicit labels), so you are free to choose a sensible ...
von aderhold
2. Jul 2012 13:30
Forum: Secure Coding Lab
Thema: Assignment 7: CFG for programs with procedures
Antworten: 0
Zugriffe: 348

Assignment 7: CFG for programs with procedures

In order to avoid a misunderstanding regarding Task 1: The task sketches a possibility how a control flow graph can be computed. It is pointed out that it may be necessary to modify this initial suggestion for the analysis in Task 2. You do not need to implement this initial suggestion. If you have ...
von aderhold
25. Jun 2012 09:15
Forum: Secure Coding Lab
Thema: Adding generic type arguments to FamilyOfNFA
Antworten: 1
Zugriffe: 574

Re: Adding generic type arguments to FamilyOfNFA

You may add a type parameter to FamilyOfNFA<E, P> if that helps.
von aderhold
14. Jun 2012 09:55
Forum: Secure Coding Lab
Thema: Assignment 5: Test2 output
Antworten: 5
Zugriffe: 868

Re: Assignment 5: Test2 output

The definition of an extraction function is not set in stone in general. For the purpose of this lab course (and the specific programming language at hand) it was defined to be independent of the program. The exception (and the meaning of "in this case") is that for the "change(a)" events it needs t...
von aderhold
13. Jun 2012 17:16
Forum: Secure Coding Lab
Thema: Assignment 5: Test2 output
Antworten: 5
Zugriffe: 868

Re: Assignment 5: Test2 output

The idea is that (at least in this case) the event extraction function has access to the program code, so \chi : E_C \times \mathit{Stmt} \to E^* . Thanks for pointing this out. As usual, E^* denotes finite sequences. Consequently, Definition 2 on Assignment 4 does not claim that \tau is an element ...
von aderhold
13. Jun 2012 09:57
Forum: Secure Coding Lab
Thema: Assignment 5: Test2 output
Antworten: 5
Zugriffe: 868

Re: Assignment 5: Test2 output

Yes, it suffices to generate events "change(a)" for arithmetic expressions "a" that occur in the program. As you mentioned, this includes expressions that occur in a RHS of an assignment. But it also includes expressions that occur in a Boolean expression. Currently I don't see why it would help (or...
von aderhold
6. Jun 2012 10:39
Forum: Secure Coding Lab
Thema: Assignment 4: Faithfullnes
Antworten: 1
Zugriffe: 463

Re: Assignment 4: Faithfullnes

When my formalization is (just a bit) more restrictive than the actual guideline, does that imply that my formalization is faithful? Since "just a bit" is probably hard to get precise, let's leave that out for a moment. So the claim would be: "A formalization is faithful if it is more (or at least ...
von aderhold
23. Mai 2012 18:14
Forum: Secure Coding Lab
Thema: Ass. 4: Tool Usage
Antworten: 0
Zugriffe: 405

Ass. 4: Tool Usage

Assignment 4 (version 1.0) is on the web page now. Please note the command line options mentioned in Task 2(c): I have added the constant string "-events" so that you can just extend your existing tool to process event files (i.e., the presence of "-events" makes it clear that the text file is suppo...
von aderhold
8. Mai 2012 09:54
Forum: Secure Coding Lab
Thema: Final JAR file
Antworten: 1
Zugriffe: 556

Re: Final JAR file

Well, I certainly wish to see your source code, so please make sure that all source files are part of the JAR file (in addition to the compiled files). For example, the option "Export Java source files and resources" in Eclipse should do the job when you export your project to a JAR file. (If this d...
von aderhold
7. Mai 2012 10:04
Forum: Secure Coding Lab
Thema: Ass.2: Omitting labels/brackets
Antworten: 2
Zugriffe: 637

Re: Ass.2: Omitting labels/brackets

Right, the user has the choice between "[...]@PI" and just "...".
von aderhold
7. Mai 2012 10:01
Forum: Secure Coding Lab
Thema: Commented out parts in the test files
Antworten: 1
Zugriffe: 450

Re: Commented out parts in the test files

The graph itself suffices as a solution of this task. Including the statements helps to make the graph more self-contained, so you are free to add them (but please don't omit the numerical labels).
von aderhold
2. Mai 2012 16:59
Forum: Secure Coding Lab
Thema: ANTLR instead of JavaCC
Antworten: 1
Zugriffe: 604

Re: ANTLR instead of JavaCC

The question on ANTLR in the last meeting did not have a particular reason and was just out of interest. Since I have not received any compelling reasons (or any requests at all) for different parser generators so far, JavaCC is up to now the only "accepted" parser generator. Regarding the dead link...
von aderhold
30. Apr 2012 10:09
Forum: Secure Coding Lab
Thema: Ass.2: Grammar of the WHILE language
Antworten: 1
Zugriffe: 555

Re: Ass.2: Grammar of the WHILE language

Keywords like the ones you mentioned need not be accepted as names for variables. (This should make programs more readable for a human being, while syntactically there shouldn't be any ambiguities.)

Markus

Zur erweiterten Suche