2018-05-09 07:27:21 +08:00
|
|
|
/*
|
|
|
|
* FDBLibTLSVerify.cpp
|
|
|
|
*
|
|
|
|
* This source file is part of the FoundationDB open source project
|
|
|
|
*
|
|
|
|
* Copyright 2013-2018 Apple Inc. and the FoundationDB project authors
|
|
|
|
*
|
|
|
|
* 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.
|
|
|
|
*/
|
|
|
|
|
|
|
|
#include "FDBLibTLSVerify.h"
|
|
|
|
|
|
|
|
#include <openssl/objects.h>
|
|
|
|
|
|
|
|
#include <algorithm>
|
|
|
|
#include <exception>
|
|
|
|
|
|
|
|
static int hexValue(char c) {
|
|
|
|
static char const digits[] = "0123456789ABCDEF";
|
|
|
|
|
|
|
|
if (c >= 'a' && c <= 'f')
|
|
|
|
c -= ('a' - 'A');
|
|
|
|
|
|
|
|
int value = std::find(digits, digits + 16, c) - digits;
|
|
|
|
if (value >= 16) {
|
|
|
|
throw std::runtime_error("hexValue");
|
|
|
|
}
|
|
|
|
return value;
|
|
|
|
}
|
|
|
|
|
|
|
|
// Does not handle "raw" form (e.g. #28C4D1), only escaped text
|
|
|
|
static std::string de4514(std::string const& input, int start, int& out_end) {
|
|
|
|
std::string output;
|
|
|
|
|
|
|
|
if(input[start] == '#' || input[start] == ' ') {
|
|
|
|
out_end = start;
|
|
|
|
return output;
|
|
|
|
}
|
|
|
|
|
|
|
|
int space_count = 0;
|
|
|
|
|
|
|
|
for(int p = start; p < input.size();) {
|
|
|
|
switch(input[p]) {
|
|
|
|
case '\\': // Handle escaped sequence
|
|
|
|
|
|
|
|
// Backslash escaping nothing!
|
|
|
|
if(p == input.size() - 1) {
|
|
|
|
out_end = p;
|
|
|
|
goto FIN;
|
|
|
|
}
|
|
|
|
|
|
|
|
switch(input[p+1]) {
|
|
|
|
case ' ':
|
|
|
|
case '"':
|
|
|
|
case '#':
|
|
|
|
case '+':
|
|
|
|
case ',':
|
|
|
|
case ';':
|
|
|
|
case '<':
|
|
|
|
case '=':
|
|
|
|
case '>':
|
2018-06-12 06:52:04 +08:00
|
|
|
case '|':
|
2018-05-09 07:27:21 +08:00
|
|
|
case '\\':
|
|
|
|
output += input[p+1];
|
|
|
|
p += 2;
|
|
|
|
space_count = 0;
|
|
|
|
continue;
|
|
|
|
|
|
|
|
default:
|
|
|
|
// Backslash escaping pair of hex digits requires two characters
|
|
|
|
if(p == input.size() - 2) {
|
|
|
|
out_end = p;
|
|
|
|
goto FIN;
|
|
|
|
}
|
|
|
|
|
|
|
|
try {
|
|
|
|
output += hexValue(input[p+1]) * 16 + hexValue(input[p+2]);
|
|
|
|
p += 3;
|
|
|
|
space_count = 0;
|
|
|
|
continue;
|
|
|
|
} catch( ... ) {
|
|
|
|
out_end = p;
|
|
|
|
goto FIN;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
case '"':
|
|
|
|
case '+':
|
|
|
|
case ',':
|
|
|
|
case ';':
|
|
|
|
case '<':
|
|
|
|
case '>':
|
|
|
|
case 0:
|
|
|
|
// All of these must have been escaped
|
|
|
|
out_end = p;
|
|
|
|
goto FIN;
|
|
|
|
|
|
|
|
default:
|
|
|
|
// Character is what it is
|
|
|
|
output += input[p];
|
|
|
|
if(input[p] == ' ')
|
|
|
|
space_count++;
|
|
|
|
else
|
|
|
|
space_count = 0;
|
|
|
|
p++;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
out_end = input.size();
|
|
|
|
|
|
|
|
FIN:
|
|
|
|
out_end -= space_count;
|
|
|
|
output.resize(output.size() - space_count);
|
|
|
|
|
|
|
|
return output;
|
|
|
|
}
|
|
|
|
|
|
|
|
static std::pair<std::string, std::string> splitPair(std::string const& input, char c) {
|
|
|
|
int p = input.find_first_of(c);
|
|
|
|
if(p == input.npos) {
|
|
|
|
throw std::runtime_error("splitPair");
|
|
|
|
}
|
|
|
|
return std::make_pair(input.substr(0, p), input.substr(p+1, input.size()));
|
|
|
|
}
|
|
|
|
|
|
|
|
static int abbrevToNID(std::string const& sn) {
|
|
|
|
int nid = NID_undef;
|
|
|
|
|
2018-06-20 04:42:18 +08:00
|
|
|
if (sn == "C" || sn == "CN" || sn == "L" || sn == "ST" || sn == "O" || sn == "OU" || sn == "UID" || sn == "DC")
|
2018-05-09 07:27:21 +08:00
|
|
|
nid = OBJ_sn2nid(sn.c_str());
|
|
|
|
if (nid == NID_undef)
|
|
|
|
throw std::runtime_error("abbrevToNID");
|
|
|
|
|
|
|
|
return nid;
|
|
|
|
}
|
|
|
|
|
|
|
|
FDBLibTLSVerify::FDBLibTLSVerify(std::string verify_config):
|
|
|
|
verify_cert(true), verify_time(true) {
|
|
|
|
parse_verify(verify_config);
|
|
|
|
}
|
|
|
|
|
|
|
|
FDBLibTLSVerify::~FDBLibTLSVerify() {
|
|
|
|
}
|
|
|
|
|
|
|
|
void FDBLibTLSVerify::parse_verify(std::string input) {
|
|
|
|
int s = 0;
|
|
|
|
|
|
|
|
while (s < input.size()) {
|
|
|
|
int eq = input.find('=', s);
|
|
|
|
|
|
|
|
if (eq == input.npos)
|
|
|
|
throw std::runtime_error("parse_verify");
|
|
|
|
|
|
|
|
std::string term = input.substr(s, eq - s);
|
|
|
|
|
|
|
|
if (term.find("Check.") == 0) {
|
|
|
|
if (eq + 2 > input.size())
|
|
|
|
throw std::runtime_error("parse_verify");
|
|
|
|
if (eq + 2 != input.size() && input[eq + 2] != ',')
|
|
|
|
throw std::runtime_error("parse_verify");
|
|
|
|
|
|
|
|
bool* flag;
|
|
|
|
|
|
|
|
if (term == "Check.Valid")
|
|
|
|
flag = &verify_cert;
|
|
|
|
else if (term == "Check.Unexpired")
|
|
|
|
flag = &verify_time;
|
|
|
|
else
|
|
|
|
throw std::runtime_error("parse_verify");
|
|
|
|
|
|
|
|
if (input[eq + 1] == '0')
|
|
|
|
*flag = false;
|
|
|
|
else if (input[eq + 1] == '1')
|
|
|
|
*flag = true;
|
|
|
|
else
|
|
|
|
throw std::runtime_error("parse_verify");
|
|
|
|
|
|
|
|
s = eq + 3;
|
|
|
|
} else {
|
|
|
|
std::map<int, std::string>* criteria = &subject_criteria;
|
|
|
|
|
|
|
|
if (term.find('.') != term.npos) {
|
|
|
|
auto scoped = splitPair(term, '.');
|
|
|
|
|
|
|
|
if (scoped.first == "S" || scoped.first == "Subject")
|
|
|
|
criteria = &subject_criteria;
|
|
|
|
else if (scoped.first == "I" || scoped.first == "Issuer")
|
|
|
|
criteria = &issuer_criteria;
|
|
|
|
else if (scoped.first == "R" || scoped.first == "Root")
|
|
|
|
criteria = &root_criteria;
|
|
|
|
else
|
|
|
|
throw std::runtime_error("parse_verify");
|
|
|
|
|
|
|
|
term = scoped.second;
|
|
|
|
}
|
|
|
|
|
|
|
|
int remain;
|
|
|
|
auto unesc = de4514(input, eq + 1, remain);
|
|
|
|
|
|
|
|
if (remain == eq + 1)
|
|
|
|
throw std::runtime_error("parse_verify");
|
|
|
|
|
|
|
|
criteria->insert(std::make_pair(abbrevToNID(term), unesc));
|
|
|
|
|
|
|
|
if (remain != input.size() && input[remain] != ',')
|
|
|
|
throw std::runtime_error("parse_verify");
|
|
|
|
|
|
|
|
s = remain + 1;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|