| lambda$execute$5(int) |  | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| execute(Seal) |  | 94% | | 93% | 1 | 13 | 1 | 21 | 0 | 1 |
| lambda$execute$9(Seal.MarkFileSystemInvulnerable) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| lambda$execute$6(AbstractStrategy) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| lambda$execute$7(int) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| SubscriberLogger(InjectionModel) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| lambda$execute$10(Seal.MarkFileSystemVulnerable) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| lambda$execute$8(AbstractStrategy) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| lambda$execute$4(Seal.GetTerminalResult) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| lambda$execute$3(Seal.AddTabExploitWeb) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| lambda$execute$2(Seal.AddColumns) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| lambda$execute$1(Seal.AddTables) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| lambda$execute$0(Seal.AddDatabases) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| static {...} | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |