1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
|
// Copyright 2022 Code Intelligence GmbH
//
// Licensed under the Apache License, Version 2.0 (the "License");
// you may not use this file except in compliance with the License.
// You may obtain a copy of the License at
//
// http://www.apache.org/licenses/LICENSE-2.0
//
// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS,
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
// See the License for the specific language governing permissions and
// limitations under the License.
package com.code_intelligence.jazzer.tools;
import java.io.IOException;
import java.net.URI;
import java.net.URISyntaxException;
import java.nio.file.FileSystem;
import java.nio.file.FileSystems;
import java.nio.file.Files;
import java.nio.file.Path;
import java.nio.file.Paths;
import java.util.Arrays;
import java.util.Collections;
import java.util.Comparator;
import java.util.HashMap;
import java.util.Map;
import java.util.TimeZone;
import java.util.stream.Collectors;
import java.util.stream.Stream;
public class JarStripper {
private static final Map<String, String> ZIP_FS_PROPERTIES = new HashMap<>();
static {
// We copy the input to the output path before modifying, so don't try to create a new file at
// that path if something went wrong.
ZIP_FS_PROPERTIES.put("create", "false");
}
public static void main(String[] args) {
if (args.length < 2) {
System.err.println(
"Hermetically removes files and directories from .jar files by relative paths.");
System.err.println("Usage: in.jar out.jar [relative path]...");
System.exit(1);
}
Path inFile = Paths.get(args[0]);
Path outFile = Paths.get(args[1]);
Iterable<String> pathsToDelete =
Collections.unmodifiableList(Arrays.stream(args).skip(2).collect(Collectors.toList()));
try {
Files.copy(inFile, outFile);
if (!outFile.toFile().setWritable(true)) {
System.err.printf("Failed to make %s writable", outFile);
System.exit(1);
}
} catch (IOException e) {
e.printStackTrace();
System.exit(1);
}
URI outUri = null;
try {
outUri = new URI("jar", outFile.toUri().toString(), null);
} catch (URISyntaxException e) {
e.printStackTrace();
System.exit(1);
}
// Ensure that the ZipFileSystem uses a system-independent time zone for mtimes.
// https://github.com/openjdk/jdk/blob/4d64076058a4ec5df101b06572195ed5fdee6f64/src/jdk.zipfs/share/classes/jdk/nio/zipfs/ZipUtils.java#L241
TimeZone.setDefault(TimeZone.getTimeZone("UTC"));
try (FileSystem zipFs = FileSystems.newFileSystem(outUri, ZIP_FS_PROPERTIES)) {
for (String pathToDelete : pathsToDelete) {
// Visit files before the directory they are contained in by sorting in reverse order.
try (Stream<Path> walk = Files.walk(zipFs.getPath(pathToDelete))) {
Iterable<Path> subpaths =
walk.sorted(Comparator.reverseOrder()).collect(Collectors.toList());
for (Path subpath : subpaths) {
Files.delete(subpath);
}
}
}
} catch (IOException e) {
e.printStackTrace();
System.exit(1);
}
}
}
|
