Fixed a memory leak in iflow_find_path_next.
Fixed a memory leak in iflow_find_path_next.

2003/12/18 19:58:44-00:00 !kmacmillan
Fix compile errors on gcc 2.96 in libapol.

2003/12/18 14:27:41-00:00 !donp
fix to compiler warning

2003/12/12 21:41:13-00:00 !kmacmillan
Removed some more debugging output from information flow analysis.

2003/12/12 15:37:58-00:00 !kmacmillan
Fixed transitive flow regression test and obj class query options in
information flow.

2003/12/11 21:07:11-00:00 !kmacmillan
Minor fix to informatin flow analysis.

2003/12/10 21:37:40-00:00 !kmacmillan
Updated iflow help and fixed obj class handling in transitive information flow.

2003/12/10 17:29:56-00:00 !kmacmillan
Fixed bug with filtering end types for transitive flows.

2003/12/09 22:09:54-00:00 !kmacmillan
Fixed iflow_find_paths to actually return paths.

2003/12/09 21:43:42-00:00 !kmacmillan
Fixed errors in iflow_find_paths*.

2003/12/09 18:52:58-00:00 !kmacmillan
Minor fix to information flow.

2003/12/09 17:32:33-00:00 !kmacmillan
Added path finding to information flow analysis.

2003/12/08 22:21:53-00:00 !kmacmillan
Fixes to information flow.

2003/12/08 19:30:04-00:00 !kmacmillan
More major fixes for information flow analysis.

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 21:31:22-00:00 !donp
updates to apol/libapol for transitive flow analysis-buggy and not ready for testing

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

2003/12/03 14:59:37-00:00 !kmacmillan
Fixed some memory leaks in information flow.

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

2003/11/18 13:48:48-00:00 !mayerf
Minor addition to policy header file

2003/11/05 14:55:44-00:00 !mayerf
Restructured lipaol to move TE rules search into the Core C lib, and then reimplement the TCL support.  Added new policy-query.* files.

2003/10/16 19:48:24-00:00 !donp
change to apol_tcl.c to support new query parameters

2003/09/22 18:34:45-00:00 !kmacmillan
Added special case for indirect flows from a type to itself.

2003/09/22 15:46:03-00:00 !kmacmillan
Fix for self flows in transitive iflow analysis.

2003/09/19 15:51:59-00:00 !kmacmillan
Changed comments to iflow analysis.

2003/09/17 17:59:02-00:00 !kmacmillan
Fixed minor compile warnings.

2003/09/17 17:52:01-00:00 !kmacmillan
Updated the spec file and added some documentation to transitive information
flow analysis.

2003/09/12 19:35:54-00:00 !kmacmillan
Fixed analysis to correctly find the perms object classes.

2003/09/11 18:04:26-00:00 !kmacmillan
Assigned NULL to policy->iflow_graph after calls to iflow_graph_free
when perm maps are loaded. This should fix the random crashing related
to transitive information flow analysis (segfaults and double frees).

2003/09/08 19:35:12-00:00 !kmacmillan
Removed dead code path.

2003/09/08 16:07:51-00:00 !kmacmillan
Disallow self in the results of iflow_transitive_flows.

2003/08/27 12:53:48-00:00 !donp
bug fix-transitive interface wasn't recognizing a change to zero object classes

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/20 18:27:20-00:00 !donp
updates for displaying transitive iflow progress

2003/08/20 15:25:05-00:00 !donp
somehow karls' last update was removed

2003/08/20 15:21:12-00:00 !donp
updates for transitive iflow analysis

2003/08/20 11:41:54-00:00 !donp
Initial changes to iflow interfaces to support step-by-step transitive analysis

2003/08/19 19:58:37-00:00 !kmacmillan
Minor fix that allowed both queries to return IN only flows.

2003/08/19 17:25:36-00:00 !kmacmillan
Moved open_policy back to apol_tcl.c and export the prototype.

2003/08/19 15:30:46-00:00 !kmacmillan
Fix so that out edges aren't returned for in queries.

2003/08/07 17:40:39-00:00 !kmacmillan
More comments for information flow analysis. KWM

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/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/01 16:40:26-00:00 !kmacmillan
Added support AVFLAG_PERM_STAR to iflow analysis. KWM

2003/08/01 12:59:09-00:00 !kmacmillan
Minor updates to recursive all paths. KWM

2003/07/31 15:34:08-00:00 !donp
Initial implementation in the tcl gui interface for information flow analysis

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 16:30:22-00:00 !kmacmillan
Added more convenient query results and first version of full information
flow analysis. KWM

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

2003/07/25 14:59:36-00:00 !kmacmillan
Minor fixes/updates to information flow analysis. 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/06/30 10:35:08-00:00 !mayerf
Added comments

2003/06/19 18:58:23-00:00 !donp
Ticket #3-Changes to maintain backwards compatibility in Apol_DomainTransitionAnalysis tcl command.

2003/06/19 18:01:09-00:00 !donp
Ticket #3-Changed dt analysis implementation to support reverse direction

2003/06/17 15:37:07-00:00 !donp
Ticket #3-Changes to analysis.* files

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