tamiflex-discuss

Contact owners and managers

1–30 of 39

This list is being discontinued, as we have moved TamiFlex to Github. Please raise issues here in the future:

https://github.com/secure-software-engineering/tamiflex/issues

0 selected

7/14/16

Spark training in bay area

Spark is an Apache project as "lightning fast group figuring out/calculating". Spark

unread,

Spark training in bay area

Spark is an Apache project as "lightning fast group figuring out/calculating". Spark

7/14/16

3/27/15

We have now completed the move to Github. The new page is located at: http://secure-software-

unread,

We have now completed the move to Github. The new page is located at: http://secure-software-

3/27/15

George Kastrinis, Eric Bodden6

3/24/15

Problem using Booster and the play-out agent

Hi Eric. It turns out that the problem is not caused by a certain Java instruction (I think). I tried

unread,

Problem using Booster and the play-out agent

Hi Eric. It turns out that the problem is not caused by a certain Java instruction (I think). I tried

3/24/15

3/23/15

Moving to Github

Hi all. As Google Code is being discontinued, we have moved TamiFlex to Github: https://github.com/

unread,locked,

Moving to Github

Hi all. As Google Code is being discontinued, we have moved TamiFlex to Github: https://github.com/

3/23/15

Ganesha Upadhyaya, … Maria Jenkins11

12/26/14

ERROR: Unknown entry kind: Array.newInstance

Hi All, I am having the same issue as Ganesha. I have tried fixing the white space but it is still

unread,

ERROR: Unknown entry kind: Array.newInstance

Hi All, I am having the same issue as Ganesha. I have tried fixing the white space but it is still

12/26/14

Monica, Eric Bodden2

11/13/14

Hi Monica. > Is there any way to provide those classes (eg., in classpath) to execute this command

unread,

Hi Monica. > Is there any way to provide those classes (eg., in classpath) to execute this command

11/13/14

monika dhok, Eric Bodden4

3/25/14

Dacapo with calfuzzer

Hi, I have attached jimple file of org.dacapo.harness.Avrora which has iterate method. Monika Dhok

unread,

Dacapo with calfuzzer

Hi, I have attached jimple file of org.dacapo.harness.Avrora which has iterate method. Monika Dhok

3/25/14

rogerl...@gmail.com, Eric Bodden2

3/12/14

problem when running eclipse4.2.2 with tamiflex

Sorry about the late response. This does seem like a bug in TamiFlex. Unfortunately I do not have the

unread,

problem when running eclipse4.2.2 with tamiflex

Sorry about the late response. This does seem like a bug in TamiFlex. Unfortunately I do not have the

3/12/14

1/31/14

Advisory on past uses of TamiFlex with Soot

Dear all, I am very sad to say that I have recently accidentally discovered a serious mistake that

unread,

Advisory on past uses of TamiFlex with Soot

Dear all, I am very sad to say that I have recently accidentally discovered a serious mistake that

1/31/14

12/18/13

FOAL'14: Foundations of Aspect-Oriented Languages - Call for papers

FOAL: Foundations of Aspect-Oriented Languages Paper Submission Deadline: Jan 26th, 2014 A one day

unread,

FOAL'14: Foundations of Aspect-Oriented Languages - Call for papers

FOAL: Foundations of Aspect-Oriented Languages Paper Submission Deadline: Jan 26th, 2014 A one day

12/18/13

Aritra Sengupta, Eric Bodden4

9/25/13

To verify if Booster has worked properly

Hello again. Ondrej Lhotak has this call-graph comparison tool. It's available online. Maybe you

unread,

To verify if Booster has worked properly

Hello again. Ondrej Lhotak has this call-graph comparison tool. It's available online. Maybe you

9/25/13

Aritra Sengupta, Eric Bodden5

9/13/13

Error encountered while using Booster on the output of play-out agent

Yes I am using the following command. java -Xmx3072m -javaagent:poa-2.0.1.jar -jar dacapo-9.12-bach.

unread,

Error encountered while using Booster on the output of play-out agent

Yes I am using the following command. java -Xmx3072m -javaagent:poa-2.0.1.jar -jar dacapo-9.12-bach.

9/13/13

Zell, Eric Bodden3

1/22/13

no class files found after step 1 (dumping) of tamiflexSoot tutorial

Hello, Eric, Sorry, I thought there was only one tutorial for "Dacapo with SOOT". Here is

unread,

no class files found after step 1 (dumping) of tamiflexSoot tutorial

Hello, Eric, Sorry, I thought there was only one tutorial for "Dacapo with SOOT". Here is

1/22/13

10/18/12

Modularity: AOSD 2013 Workshops Joint Call for Contributions

Modularity: AOSD 2013 Workshops Call for Contributions 12th Annual International Conference on Aspect

unread,

Modularity: AOSD 2013 Workshops Joint Call for Contributions

Modularity: AOSD 2013 Workshops Call for Contributions 12th Annual International Conference on Aspect

10/18/12

Ben Barham, … Andreas Sewe11

9/23/12

Tamiflex (latest), DaCapo benchmarks, and Soot

Ok - thanks for the explanation Andreas. On Friday, 21 September 2012 18:10:53 UTC+10, Andreas Sewe

unread,

Tamiflex (latest), DaCapo benchmarks, and Soot

Ok - thanks for the explanation Andreas. On Friday, 21 September 2012 18:10:53 UTC+10, Andreas Sewe

9/23/12

9/19/12

TamiFlex 2.0.1 is out

I am happy to report the release of TamiFlex 2.0.1. This release fixes a problem with the

unread,

TamiFlex 2.0.1 is out

I am happy to report the release of TamiFlex 2.0.1. This release fixes a problem with the

9/19/12

Ben Barham, Eric Bodden4

9/11/12

Re: Tamiflex 2.0 SIGSEGV with Method Reflections

Hello Ben. > Thanks for the response. I've checked out trunk and that error has gone > away

unread,

Re: Tamiflex 2.0 SIGSEGV with Method Reflections

Hello Ben. > Thanks for the response. I've checked out trunk and that error has gone > away

9/11/12

4/27/12

Deadline extension: WODA 2012 - 10th International Workshop on Dynamic Analysis

Apologies for multiple copies received... Due to numerous requests for a deadline extension we have

unread,

Deadline extension: WODA 2012 - 10th International Workshop on Dynamic Analysis

Apologies for multiple copies received... Due to numerous requests for a deadline extension we have

4/27/12

4/15/12

Call for Papers - International Conference on Runtime Verification (RV 2012)

International Conference on Runtime Verification (RV 2012) September 25 - 28, 2012 Istanbul, Turkey

unread,

Call for Papers - International Conference on Runtime Verification (RV 2012)

International Conference on Runtime Verification (RV 2012) September 25 - 28, 2012 Istanbul, Turkey

4/15/12

3/27/12

Deadline extension: SOAP 2012

Dear all, since we got some requests for deadline extension, we decided to move the deadline by one

unread,

Deadline extension: SOAP 2012

Dear all, since we got some requests for deadline extension, we decided to move the deadline by one

3/27/12

3/1/12

WODA 2012 - 10th International Workshop on Dynamic Analysis - Call for Papers

Apologies for multiple copies received... *** WODA 2012 *** 10th International Workshop on Dynamic

unread,

WODA 2012 - 10th International Workshop on Dynamic Analysis - Call for Papers

Apologies for multiple copies received... *** WODA 2012 *** 10th International Workshop on Dynamic

3/1/12

Karim Hamdan, … Eric Bodden6

2/9/12

Segfault when executing pmd benchmark (dacapo-2006-10-MR2 version)

> building it from source, I executed it against pmd and it did work. It seems > that the lates

unread,

Segfault when executing pmd benchmark (dacapo-2006-10-MR2 version)

> building it from source, I executed it against pmd and it did work. It seems > that the lates

2/9/12

Pascal Wittmann, … Eric Bodden6

1/29/12

[poa] Segfault when executing fop benchmark

On 01/29/2012 06:03 PM, Eric Bodden wrote: > Hi Pascal and others. > > It turns out that

unread,

[poa] Segfault when executing fop benchmark

On 01/29/2012 06:03 PM, Eric Bodden wrote: > Hi Pascal and others. > > It turns out that

1/29/12

Eric Bodden, Eric Bodden2

12/20/11

Call for Papers - SOAP 2012: 1st International Workshop on the State Of the Art in Java Program Analysis

1st International Workshop on the State Of the Art in Java Program Analysis (SOAP 2012) Co-located

unread,

Call for Papers - SOAP 2012: 1st International Workshop on the State Of the Art in Java Program Analysis

1st International Workshop on the State Of the Art in Java Program Analysis (SOAP 2012) Co-located

12/20/11

11/23/11

Open position: Research Assistant in Secure Software Engineering

The Secure Software Engineering Group in the Fachbereich Informatik of Technische Universität

unread,

Open position: Research Assistant in Secure Software Engineering

The Secure Software Engineering Group in the Fachbereich Informatik of Technische Universität

11/23/11

9/25/11

TamiFlex 2.0 is out

I am happy to announce the availability of TamiFlex 2.0. This new release includes a couple of bug

unread,

TamiFlex 2.0 is out

I am happy to announce the availability of TamiFlex 2.0. This new release includes a couple of bug

9/25/11

6/27/11

Open PhD and PostDoc Positions at Software Technology Group (TU Darmstadt)

Dear all, we are happy to announce that starting this fall we will have new openings at the PhD and

unread,

Open PhD and PostDoc Positions at Software Technology Group (TU Darmstadt)

Dear all, we are happy to announce that starting this fall we will have new openings at the PhD and

6/27/11

5/12/11

Who uses TamiFlex?

This is an email to all users of TamiFlex. As you may know, we will be presenting TamiFlex at ICSE

unread,

Who uses TamiFlex?

This is an email to all users of TamiFlex. As you may know, we will be presenting TamiFlex at ICSE

5/12/11

Saswat Anand, Eric Bodden4

3/19/11

Primitive-type arrays

> It is good to see the new java.lang.reflect.Field stuff. Any plans to > handle the two "

unread,

Primitive-type arrays

> It is good to see the new java.lang.reflect.Field stuff. Any plans to > handle the two "

3/19/11

3/16/11

Tamiflex now supports reflective field accesses

Hi all. Just to let you know. The HEAD version in mercurial now supports field accesses through Field

unread,

Tamiflex now supports reflective field accesses

Hi all. Just to let you know. The HEAD version in mercurial now supports field accesses through Field

3/16/11

Search

Clear search

Close search

Google apps

Main menu