RepoMirrors/setools
1
0
Fork 0
mirror of https://github.com/SELinuxProject/setools synced 2025-02-21 22:46:50 +00:00
Code Issues Packages Projects Releases Wiki Activity

sedta: add limit for transition output

Browse Source
This commit is contained in:
Chris PeBenito 2015-04-07 14:43:17 -04:00
parent 8cfa23109c
commit 71e99abbcf
1 changed files with 8 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
sedta
View File

@ -89,6 +89,8 @@ alg.add_argument("-A", "--all_paths", type=int, metavar="MAX_STEPS",
opts = parser.add_argument_group("Analysis options")
opts.add_argument("-r", "--reverse", action="store_true", default=False,
help="Perform a reverse DTA.")
opts.add_argument("-l", "--limit_trans", default=0, type=int,
help="Limit to the specified number of transitions. Default is unlimited.")
opts.add_argument("exclude", help="List of excluded types in the analysis.", nargs="*")
args = parser.parse_args()
@ -127,6 +129,9 @@ try:
print("Step {0}: {1} -> {2}\n".format(step, src, tgt))
print_transition(trans, entrypoints, setexec, dyntrans, setcur)
if args.limit_trans and i >= args.limit_trans:
break
print(i, "domain transition path(s) found.")
else: # single transition
@ -138,6 +143,9 @@ try:
print("Transition {0}: {1} -> {2}\n".format(i, src, tgt))
print_transition(trans, entrypoints, setexec, dyntrans, setcur)
if args.limit_trans and i >= args.limit_trans:
break
print(i, "domain transition(s) found.")
if args.stats: