<commit_before># Security Types for Java

## Summary

A research project with the goal to allow gradual integration of refined type systems in Java (e.g. type systems for physical dimensions, effects, security, ...)

![GitHub Logo](/img/front.png)

## Setup
Required software:

1. IDE Eclipse (tested and developed with [Eclipse Luna][1])
2. [Soot framework (version 2.5.0)][2] (Unpack the archive somewhere - the three directories `soot-2.5.0`, `polyglot-1.3.5`, `jasmin-2.5.0` will be created )
3. Optional: [Soot Eclipse Plugin][3]
4. [Apache Ant][4]
5. [JUnit 4][5] (`junit.jar` and `hamcrest-core.jar` are required)
6. The Eclipse projects [TaintTracking] and [Testcases] from this repository

### Setup the Project TaintTracking in Eclipse
- Import [TaintTracking] into Eclipse
- Add polyglott.jar, jasminclasses-2.5.0.jar, sootclasses - 2.5.0.jar and ant.jar es external jar in the project's build path.
- Add "classes" folder of the soot project as external classes to the build path.
- Use Java 1.7 JRE
 
### Setup the Project TestCases in Eclipse 
This project contains the JUnit tests for ... `TODO`
- Import [TestCases] into Eclipse
- [TaintTracking] needs to be on the build path of [TestCases]<commit_msg>Fix summary in README<commit_after># Security Types for Java

## Summary

A research project with the goal to allow gradual integration of security types for the sequential fragment of Java 

![GitHub Logo](/img/front.png)

## Setup
Required software:

1. IDE Eclipse (tested and developed with [Eclipse Luna][1])
2. [Soot framework (version 2.5.0)][2] (Unpack the archive somewhere - the three directories `soot-2.5.0`, `polyglot-1.3.5`, `jasmin-2.5.0` will be created )
3. Optional: [Soot Eclipse Plugin][3]
4. [Apache Ant][4]
5. [JUnit 4][5] (`junit.jar` and `hamcrest-core.jar` are required)
6. The Eclipse projects [TaintTracking] and [Testcases] from this repository

### Setup the Project TaintTracking in Eclipse
- Import [TaintTracking] into Eclipse
- Add polyglott.jar, jasminclasses-2.5.0.jar, sootclasses - 2.5.0.jar and ant.jar es external jar in the project's build path.
- Add "classes" folder of the soot project as external classes to the build path.
- Use Java 1.7 JRE
 
### Setup the Project TestCases in Eclipse 
This project contains the JUnit tests for ... `TODO`
- Import [TestCases] into Eclipse
- [TaintTracking] needs to be on the build path of [TestCases]
{'fraction_non_alphanumeric': 0.10912119950020825, 'fraction_numerical': 0.026655560183256977, 'mean_word_length': 4.221739130434782, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 3, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '6552001', 'n_tokens_mistral': 801, 'n_tokens_neox': 750, 'n_words': 315}