• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1 /* Copyright (c) 2015, Google Inc.
2  *
3  * Permission to use, copy, modify, and/or distribute this software for any
4  * purpose with or without fee is hereby granted, provided that the above
5  * copyright notice and this permission notice appear in all copies.
6  *
7  * THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
8  * WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
9  * MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY
10  * SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
11  * WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN ACTION
12  * OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF OR IN
13  * CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE. */
14 
15 #ifndef OPENSSL_HEADER_CRYPTO_TEST_FILE_TEST_H
16 #define OPENSSL_HEADER_CRYPTO_TEST_FILE_TEST_H
17 
18 #include <openssl/base.h>
19 
20 #include <stdint.h>
21 
22 OPENSSL_MSVC_PRAGMA(warning(push))
23 OPENSSL_MSVC_PRAGMA(warning(disable : 4702))
24 
25 #include <functional>
26 #include <map>
27 #include <memory>
28 #include <set>
29 #include <string>
30 #include <vector>
31 
32 OPENSSL_MSVC_PRAGMA(warning(pop))
33 
34 // File-based test framework.
35 //
36 // This module provides a file-based test framework. The file format is based on
37 // that of OpenSSL upstream's evp_test and BoringSSL's aead_test. NIST CAVP test
38 // vector files are also supported. Each input file is a sequence of attributes,
39 // instructions and blank lines.
40 //
41 // Each attribute has the form:
42 //
43 //   Name = Value
44 //
45 // Instructions are enclosed in square brackets and may appear without a value:
46 //
47 //   [Name = Value]
48 //
49 // or
50 //
51 //   [Name]
52 //
53 // Commas in instruction lines are treated as separate instructions. Thus this:
54 //
55 //   [Name1,Name2]
56 //
57 // is the same as:
58 //
59 //   [Name1]
60 //   [Name2]
61 //
62 // Either '=' or ':' may be used to delimit the name from the value. Both the
63 // name and value have leading and trailing spaces stripped.
64 //
65 // Each file contains a number of instruction blocks and test cases.
66 //
67 // An instruction block is a sequence of instructions followed by a blank line.
68 // Instructions apply to all test cases following its appearance, until the next
69 // instruction block. Instructions are unordered.
70 //
71 // A test is a sequence of one or more attributes followed by a blank line.  For
72 // tests that process multiple kinds of test cases, the first attribute is
73 // parsed out as the test's type and parameter. Otherwise, attributes are
74 // unordered. The first attribute is also included in the set of attributes, so
75 // tests which do not dispatch may ignore this mechanism.
76 //
77 // Additional blank lines and lines beginning with # are ignored.
78 //
79 // Functions in this module freely output to |stderr| on failure. Tests should
80 // also do so, and it is recommended they include the corresponding test's line
81 // number in any output. |PrintLine| does this automatically.
82 //
83 // Each attribute in a test and all instructions applying to it must be
84 // consumed. When a test completes, if any attributes or insturctions haven't
85 // been processed, the framework reports an error.
86 
87 class FileTest;
88 typedef bool (*FileTestFunc)(FileTest *t, void *arg);
89 
90 class FileTest {
91  public:
92   enum ReadResult {
93     kReadSuccess,
94     kReadEOF,
95     kReadError,
96   };
97 
98   class LineReader {
99    public:
~LineReader()100     virtual ~LineReader() {}
101     virtual ReadResult ReadLine(char *out, size_t len) = 0;
102   };
103 
104   struct Options {
105     // path is the path to the input file.
106     const char *path = nullptr;
107     // callback is called for each test. It should get the parameters from this
108     // object and signal any errors by returning false.
109     FileTestFunc callback = nullptr;
110     // arg is an opaque pointer that is passed to |callback|.
111     void *arg = nullptr;
112     // silent suppressed the "PASS" string that is otherwise printed after
113     // successful runs.
114     bool silent = false;
115     // comment_callback is called after each comment in the input is parsed.
116     std::function<void(const std::string&)> comment_callback;
117     // is_kas_test is true if a NIST “KAS” test is being parsed. These tests
118     // are inconsistent with the other NIST files to such a degree that they
119     // need their own boolean.
120     bool is_kas_test = false;
121   };
122 
123   explicit FileTest(std::unique_ptr<LineReader> reader,
124                     std::function<void(const std::string &)> comment_callback,
125                     bool is_kas_test);
126   ~FileTest();
127 
128   // ReadNext reads the next test from the file. It returns |kReadSuccess| if
129   // successfully reading a test and |kReadEOF| at the end of the file. On
130   // error or if the previous test had unconsumed attributes, it returns
131   // |kReadError|.
132   ReadResult ReadNext();
133 
134   // PrintLine is a variant of printf which prepends the line number and appends
135   // a trailing newline.
136   void PrintLine(const char *format, ...) OPENSSL_PRINTF_FORMAT_FUNC(2, 3);
137 
start_line()138   unsigned start_line() const { return start_line_; }
139 
140   // GetType returns the name of the first attribute of the current test.
141   const std::string &GetType();
142   // GetParameter returns the value of the first attribute of the current test.
143   const std::string &GetParameter();
144 
145   // HasAttribute returns true if the current test has an attribute named |key|.
146   bool HasAttribute(const std::string &key);
147 
148   // GetAttribute looks up the attribute with key |key|. It sets |*out_value| to
149   // the value and returns true if it exists and returns false with an error to
150   // |stderr| otherwise.
151   bool GetAttribute(std::string *out_value, const std::string &key);
152 
153   // GetAttributeOrDie looks up the attribute with key |key| and aborts if it is
154   // missing. It should only be used after a |HasAttribute| call.
155   const std::string &GetAttributeOrDie(const std::string &key);
156 
157   // GetBytes looks up the attribute with key |key| and decodes it as a byte
158   // string. On success, it writes the result to |*out| and returns
159   // true. Otherwise it returns false with an error to |stderr|. The value may
160   // be either a hexadecimal string or a quoted ASCII string. It returns true on
161   // success and returns false with an error to |stderr| on failure.
162   bool GetBytes(std::vector<uint8_t> *out, const std::string &key);
163 
164   // ExpectBytesEqual returns true if |expected| and |actual| are equal.
165   // Otherwise, it returns false and prints a message to |stderr|.
166   bool ExpectBytesEqual(const uint8_t *expected, size_t expected_len,
167                         const uint8_t *actual, size_t actual_len);
168 
169   // AtNewInstructionBlock returns true if the current test was immediately
170   // preceded by an instruction block.
171   bool IsAtNewInstructionBlock() const;
172 
173   // HasInstruction returns true if the current test has an instruction.
174   bool HasInstruction(const std::string &key);
175 
176   // GetInstruction looks up the instruction with key |key|. It sets
177   // |*out_value| to the value (empty string if the instruction has no value)
178   // and returns true if it exists and returns false with an error to |stderr|
179   // otherwise.
180   bool GetInstruction(std::string *out_value, const std::string &key);
181 
182   // CurrentTestToString returns the file content parsed for the current test.
183   // If the current test was preceded by an instruction block, the return test
184   // case is preceded by the instruction block and a single blank line. All
185   // other blank or comment lines are omitted.
186   const std::string &CurrentTestToString() const;
187 
188   // InjectInstruction adds a key value pair to the most recently parsed set of
189   // instructions.
190   void InjectInstruction(const std::string &key, const std::string &value);
191 
192   // SkipCurrent passes the current test case. Unused attributes are ignored.
193   void SkipCurrent();
194 
195  private:
196   void ClearTest();
197   void ClearInstructions();
198   void OnKeyUsed(const std::string &key);
199   void OnInstructionUsed(const std::string &key);
200 
201   std::unique_ptr<LineReader> reader_;
202   // line_ is the number of lines read.
203   unsigned line_ = 0;
204 
205   // start_line_ is the line number of the first attribute of the test.
206   unsigned start_line_ = 0;
207   // type_ is the name of the first attribute of the test.
208   std::string type_;
209   // parameter_ is the value of the first attribute.
210   std::string parameter_;
211   // attributes_ contains all attributes in the test, including the first.
212   std::map<std::string, std::string> attributes_;
213   // instructions_ contains all instructions in scope for the test.
214   std::map<std::string, std::string> instructions_;
215 
216   // unused_attributes_ is the set of attributes that have not been queried.
217   std::set<std::string> unused_attributes_;
218 
219   // unused_instructions_ is the set of instructions that have not been queried.
220   std::set<std::string> unused_instructions_;
221 
222   std::string current_test_;
223 
224   bool is_at_new_instruction_block_ = false;
225   bool seen_non_comment_ = false;
226   bool is_kas_test_ = false;
227 
228   // comment_callback_, if set, is a callback function that is called with the
229   // contents of each comment as they are parsed.
230   std::function<void(const std::string&)> comment_callback_;
231 
232   FileTest(const FileTest &) = delete;
233   FileTest &operator=(const FileTest &) = delete;
234 };
235 
236 // FileTestMain runs a file-based test out of |path| and returns an exit code
237 // suitable to return out of |main|. |run_test| should return true on pass and
238 // false on failure. FileTestMain also implements common handling of the 'Error'
239 // attribute. A test with that attribute is expected to fail. The value of the
240 // attribute is the reason string of the expected OpenSSL error code.
241 //
242 // Tests are guaranteed to run serially and may affect global state if need be.
243 // It is legal to use "tests" which, for example, import a private key into a
244 // list of keys. This may be used to initialize a shared set of keys for many
245 // tests. However, if one test fails, the framework will continue to run
246 // subsequent tests.
247 int FileTestMain(FileTestFunc run_test, void *arg, const char *path);
248 
249 // FileTestMain accepts a larger number of options via a struct.
250 int FileTestMain(const FileTest::Options &opts);
251 
252 // FileTestGTest behaves like FileTestMain, but for GTest. |path| must be the
253 // name of a test file embedded in the test binary.
254 void FileTestGTest(const char *path, std::function<void(FileTest *)> run_test);
255 
256 #endif  // OPENSSL_HEADER_CRYPTO_TEST_FILE_TEST_H
257