Minor fix to direct information flow options.
Minor fix to direct information flow options.

2003/12/08 15:22:01-00:00 !kmacmillan
Removed some compile warnings.

2003/12/08 15:19:43-00:00 !kmacmillan
Major update to information flow.

2003/12/05 20:10:16-00:00 !kmacmillan
Minor fixes to information flow.

2003/12/02 22:28:12-00:00 !kmacmillan
Major update to information flow analysis.

2003/10/15 19:24:50-00:00 !mayerf
Implemented changes to support optional policy load capabilities.

2003/10/13 16:49:06-00:00 !donp
reverting all changes for loading pmap from mls through libapol. Delaying this clean-up task for now and concentrating on enhanced analysis capabilities.

2003/10/10 20:35:11-00:00 !kmacmillan
Minor fixes.

2003/10/08 14:38:31-00:00 !donp
initial changes to perm-map.c for loading perm map from mls

2003/10/03 13:46:21-00:00 !mayerf
Separated libapol into two libraries; one that is straight C and one that inclu es the tcl intereface.  Updated all programs to use the new libs.

2003/10/02 19:56:01-00:00 !mayerf
First phase of the libapol re-org.  Unwound some gobal var dependencies, and mo
ed the policy IO functions out of the tcl support file.  Next will be to build
eparate libraries.

2003/08/25 15:24:14-00:00 !kmacmillan
Added test to determine whether transitive closure is needed and changed
object class filtering to happen in transitive closure rather than in
iflow_transitive_flows.

2003/08/07 13:02:39-00:00 !kmacmillan
Cleanups to transitive information flow analysis and fixes for 2 memory leaks
in test-apol.c. KWM

2003/08/06 19:13:17-00:00 !kmacmillan
Added transitive information flow analysis to test-apol.c, added iflow_graph_t*
to policy struct, and fixed transitive information flow bugs. KWM

2003/08/06 17:53:13-00:00 !kmacmillan
Added working transitive information flow analysis and re-added patch moving open_policy
to policy.c. KWM

2003/08/05 11:56:11-00:00 !kmacmillan
Minor fixes to handle edge encoding with no object classes specified in an
info flow query. KWM

2003/08/04 19:03:01-00:00 !kmacmillan
Updated iflow analysis to correctly handle attributes and * in a policy. Also,
minor bug fixes to extract_types_from_te_rule and the tcl interface. KWM

2003/08/04 15:39:08-00:00 !mayerf
Added TCL interface for regex lookup function for types, and updated test program.

2003/07/31 12:43:15-00:00 !kmacmillan
Fixed a major bug in the building of the information flow graph. iflow_graph_create
assumed that the perm_map perms were in the same order as in policy->perms so that
av_rule->perms->perm_idx could directly index the perms in the perm map. This is not
the case and the correct perm must be searched for. KWM

2003/07/30 17:42:06-00:00 !kmacmillan
Fixed output error when outputting to a file (printf used instead of
fprintf). KWM

2003/07/30 16:56:05-00:00 !kmacmillan
Fixed memory leak in test-apol.c. KWM

2003/07/30 16:30:22-00:00 !kmacmillan
Added more convenient query results and first version of full information
flow analysis. KWM

2003/07/30 15:56:04-00:00 !mayerf
Added function to match find type name using a regex.  In the future, we shouuld make this more generic so that any identifier can be searched for in this way.

2003/07/28 18:44:11-00:00 !kmacmillan
Complete overhaul of information flow analysis to use graphs. KWM

2003/07/24 16:08:49-00:00 !kmacmillan
Minor updates and fixes to information flow analysis. KWM

2003/07/24 15:32:25-00:00 !kmacmillan
Added information flow analysis. KWM

2003/07/18 18:48:45-00:00 !mayerf
Updated test program to use new perm-map assoicated with policy.

2003/07/16 14:25:33-00:00 !mayerf
Added code and test code for initial version of the policy map support functions.

2003/06/20 13:33:36-00:00 !donp
Ticket #3-updates to test-apol

2003/06/18 14:02:56-00:00 !donp
Ticket #3-Updates to test-apol

2003/06/17 15:44:27-00:00 !donp
Ticket #3-Changes to libapol/test files

2003/04/04 16:14:03-00:00 !mayerf
Added TCL command to get a list of types for a given attribute.  Also incorporated Art's change to libapol test fixture to redirect output to a file.

2003/03/17 17:47:44-00:00 !mayerf
Added -X as synonym for -G and -R as synonym for -r for seuser.

2003/03/13 16:43:52-00:00 !mayerf
Added TCL interface for domain transition analysis

2003/03/12 21:27:44-00:00 !mayerf
Large interim check-in, primarily changes to libapol to support that new domain transition analysis.

(Logical change 1.3)


TresysTechnology/setools3,TresysTechnology/setools3,TresysTechnology/setools3,TresysTechnology/setools3