FilesExpand file tree

main

/

verify-package-platform.mjs

Copy path

Blame

More file actions

Blame

More file actions

Latest commit

 

History

History

History

138 lines (134 loc) · 4.31 KB

main

/

verify-package-platform.mjs

Copy path

Top

File metadata and controls

• Code
• Blame

138 lines (134 loc) · 4.31 KB

Raw

Copy raw file

Download raw file

Open symbols panel

Edit and raw actions

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

95

96

97

98

99

100

101

102

103

104

105

106

107

108

109

110

111

112

113

114

115

116

117

118

119

120

121

122

123

124

125

126

127

128

129

130

131

132

133

134

135

136

137

138

import { json, run, runWithStatus } from "./lib/verify-package-core.mjs";

/** Run platform-specific deep-analysis smoke tests. */

export async function verifyPackagePlatform({

cli,

environment,

platform = process.platform,

runCommand = run,

}) {

if (platform === "linux") {

const unsupportedExecution = await runWithStatus(

cli,

["analyze", process.execPath, "--provider", "hopper", "--json"],

environment,

);

assertLinuxPackageProviderFailure(unsupportedExecution);

} else {

const overview = json(

await runCommand(

cli,

["analyze", process.execPath, "--provider", "hopper", "--json"],

environment,

),

);

if (!hasPositiveProcedureCount(overview))

throw new Error(

`packaged Hopper-backed analyze CLI failed: ${JSON.stringify(overview)}`,

);

const inspected = json(

await runCommand(

cli,

["inspect", process.execPath, "--provider", "hopper", "--json"],

environment,

),

);

if (!hasPositiveProcedureCount(inspected))

throw new Error("packaged inspect CLI failed");

const functionResult = json(

await runCommand(

cli,

[

"function",

process.execPath,

"0x1000",

"--provider",

"hopper",

"--json",

],

environment,

),

);

if (

functionResult.operation !== "analyze_function" ||

functionResult.provider?.id !== "hopper" ||

functionResult.normalized_result?.procedure?.address !== "0x1000"

)

throw new Error(

`packaged function CLI failed: ${JSON.stringify(functionResult)}`,

);

const xrefs = json(

await runCommand(

cli,

["xrefs", process.execPath, "0x1000", "--provider", "hopper", "--json"],

environment,

),

);

if (

xrefs.operation !== "xrefs" ||

JSON.stringify(xrefs.normalized_result) !== JSON.stringify(["0x1000"])

)

throw new Error(`packaged xrefs CLI failed: ${JSON.stringify(xrefs)}`);

const trace = json(

await runCommand(

cli,

[

"trace",

process.execPath,

"fixture",

"--provider",

"hopper",

"--json",

],

environment,

),

);

if (trace.operation !== "trace_feature")

throw new Error(`packaged trace CLI failed: ${JSON.stringify(trace)}`);

}

}

/** One owner for unsupported-launch evidence across package and real-Hopper verification. */

export const isUnsupportedHopperLaunchFailure = (failure) => {

const details = failure?.details;

const unsupportedBuild =

details?.failure_code === "unsupported_hopper_build" &&

details.exit_code === 72;

const publisherRejection =

details?.stage === "launch" &&

details.launch_rejection?.boundary === "publisher_verification" &&

details.launch_rejection.reason === "unsupported_hopper_build" &&

details.exit_code === undefined &&

details.launcher === undefined;

return (

failure?.code === "provider_unavailable" &&

(publisherRejection || unsupportedBuild)

);

};

/** Require an exact pre-execution rejection, observed helper exit, or missing-Xvfb diagnostic. */

export const assertLinuxPackageProviderFailure = (execution) => {

const failure = json(execution.stdout);

const details = failure?.details;

const diagnostic = details?.diagnostics;

const missingDisplayDependency =

details?.failure_code === "runtime_dependency_unavailable" &&

details.exit_code === 79 &&

diagnostic?.component === "hopper_private_display" &&

diagnostic.operation === "probe" &&

diagnostic.reason === "missing_xvfb" &&

diagnostic.status === "error" &&

diagnostic.failure_code === "runtime_dependency_unavailable" &&

diagnostic.strategy === "unavailable";

if (

execution.status !== 1 ||

failure?.code !== "provider_unavailable" ||

(!isUnsupportedHopperLaunchFailure(failure) && !missingDisplayDependency)

)

throw new Error(

`packaged Linux Hopper verification did not fail closed: ${JSON.stringify(failure)}`,

);

};

const hasPositiveProcedureCount = (result) =>

typeof result === "object" &&

result !== null &&

result.operation === "binary_overview" &&

Number.isInteger(result.normalized_result?.procedure_count) &&

result.normalized_result.procedure_count > 0;