Change Log

age author description
Wed, 25 Jun 2014 20:01:07 -0400 frank Decided to track the Parcel class for mutability, as this is used by IKeyStoreService. Completed mango link phase for low level android os, targeting the Parcel class. Added some warnings to get around a few linking issues. TODO: Abstract MangoSystem.arraycopy, as this logic is not needed. Rather than specifying the myriad of Parcel methods, proceed directly to abstraction and annotation. Then need "breeder" rules to specify --> annotate the next layer.default tip
Tue, 24 Jun 2014 13:02:48 -0400 frank Removed the .aidl conversion, as there is a better way. Just include ALL the java intermediates in both host and target output directories. This supplies the .R files, the _stubs, and the .aidl conversion.
Tue, 24 Jun 2014 01:13:18 -0400 frank Added AidlConvert class to convert aidl back to java.
Wed, 11 Jun 2014 16:47:57 -0400 frank Prototype for annotation driven prototype for mutability violation detection in place. TODO: clean up, work out annotation breeder design to actually generate the required annotations for use by higher level code. That is, the side-effect of a set violation is just to produce the setter annotation.
Wed, 11 Jun 2014 12:51:18 -0400 frank Fixed numerous bugs related to Effect prep. With this in place, clean spec of App with no approximation. TODO:reinstate approximation and implement NativeBuild.buildEffect().
Wed, 11 Jun 2014 11:45:50 -0400 frank Native modules repaired and uploaded. TODO: @inputEffect is not bound, fix this then work on buildEffect()
Tue, 10 Jun 2014 22:34:42 -0400 frank Effect prep of rule base complete. Uploaded. Spec of app.App() breaks at buildEffect() as intended. TODO: implement NativeBuild.buildEffect() and test.
Tue, 10 Jun 2014 16:57:06 -0400 frank Fixed bug. Acquired list of rules requiring remediation.
Tue, 10 Jun 2014 16:34:07 -0400 frank Effect prep of code base complete. Hook in NativeBuild for buildEffect(). TODO: Prep the rule base and test.
Tue, 10 Jun 2014 16:26:07 -0400 frank Effect prep in progress, through CaseSplit. For StateManager, if desirable, an EffectModel can be introduced so that effects can be displayed, but probably not necessary. Hook in place.
Tue, 10 Jun 2014 16:11:08 -0400 frank Effect prep in progress, through ParameterManager.
Tue, 10 Jun 2014 15:50:30 -0400 frank Effect prep in progress, through worker.
Tue, 10 Jun 2014 15:37:20 -0400 frank Effect prep in progress.
Tue, 10 Jun 2014 15:21:08 -0400 frank 14 is the baseline for introduction of the sixth state variable, 'Effect. So now the issue is, how does native specification interpret annotations to populate output state with effects? The initial answer is in the immutability document. TODO: Prep the code base for the sixth state variable, and test.
Mon, 09 Jun 2014 23:40:00 -0400 frank sync cleanup
Mon, 09 Jun 2014 23:37:35 -0400 frank Cleanup of rulekey initialization classes. Introduced Detective class to interpret Mango annotations related to detection. Implemented Detective.isTrustedAccess(), which is called by ARETURN to determine if a return value should be wrapped with key.DetectionKey.markImmutableAccess. TODO: complete immutability prototype.
Mon, 09 Jun 2014 15:56:36 -0400 frank Added immutability document to detection. Prototype design in progress, starting with rev to ARETURN.
Fri, 06 Jun 2014 17:34:27 -0400 frank design in progress
Thu, 05 Jun 2014 10:25:38 -0400 frank swtch to rtf, txt is too annoying.
Wed, 04 Jun 2014 17:18:48 -0400 frank Introduced taint-trap templates document.
Wed, 04 Jun 2014 15:57:21 -0400 frank Added overview document for detection project.
Tue, 03 Jun 2014 15:11:30 -0400 frankrimlinger initial push, part 5
Tue, 03 Jun 2014 15:11:05 -0400 frankrimlinger initial push, part 4
Tue, 03 Jun 2014 15:10:20 -0400 frankrimlinger initial push, part 3
Tue, 03 Jun 2014 15:09:51 -0400 frankrimlinger initial push, part 2
Tue, 03 Jun 2014 15:09:15 -0400 frankrimlinger initial push, part 1
Sun, 18 May 2014 17:10:00 -0400 frank Deleted stale license.
Sun, 18 May 2014 15:32:58 -0400 frank Initial project push