| Directory: | cvmfs/ |
|---|---|
| File: | cvmfs/path_filters/dirtab.cc |
| Date: | 2025-11-02 02:35:35 |
| Exec | Total | Coverage | |
|---|---|---|---|
| Lines: | 87 | 95 | 91.6% |
| Branches: | 68 | 92 | 73.9% |
| Line | Branch | Exec | Source |
|---|---|---|---|
| 1 | /** | ||
| 2 | * This file is part of the CernVM File System. | ||
| 3 | */ | ||
| 4 | |||
| 5 | #include "dirtab.h" | ||
| 6 | |||
| 7 | #include <cassert> | ||
| 8 | #include <cerrno> | ||
| 9 | #include <cstdio> | ||
| 10 | #include <cstdlib> | ||
| 11 | |||
| 12 | #include "util/logging.h" | ||
| 13 | #include "util/posix.h" | ||
| 14 | #include "util/string.h" | ||
| 15 | |||
| 16 | namespace catalog { | ||
| 17 | |||
| 18 | 746 | Dirtab::Dirtab() : valid_(true) { } | |
| 19 | |||
| 20 | |||
| 21 | 34 | bool Dirtab::Open(const std::string &dirtab_path) { | |
| 22 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 34 times.
|
34 | if (!FileExists(dirtab_path)) { |
| 23 | ✗ | LogCvmfs(kLogCatalog, kLogStderr, "Cannot find dirtab at '%s'", | |
| 24 | dirtab_path.c_str()); | ||
| 25 | ✗ | valid_ = false; | |
| 26 | ✗ | return valid_; | |
| 27 | } | ||
| 28 | |||
| 29 | 34 | FILE *dirtab_file = fopen(dirtab_path.c_str(), "r"); | |
| 30 |
1/2✗ Branch 0 not taken.
✓ Branch 1 taken 34 times.
|
34 | if (dirtab_file == NULL) { |
| 31 | ✗ | LogCvmfs(kLogCatalog, kLogStderr, | |
| 32 | "Cannot open dirtab for reading at '%s' " | ||
| 33 | "(errno: %d)", | ||
| 34 | ✗ | dirtab_path.c_str(), errno); | |
| 35 | ✗ | valid_ = false; | |
| 36 | ✗ | return valid_; | |
| 37 | } | ||
| 38 | |||
| 39 | 34 | valid_ = Parse(dirtab_file); | |
| 40 | 34 | fclose(dirtab_file); | |
| 41 | 34 | return valid_; | |
| 42 | } | ||
| 43 | |||
| 44 | 610 | bool Dirtab::Parse(const std::string &dirtab) { | |
| 45 | 610 | valid_ = true; | |
| 46 | 610 | off_t line_offset = 0; | |
| 47 |
2/2✓ Branch 1 taken 2886 times.
✓ Branch 2 taken 610 times.
|
3496 | while (line_offset < static_cast<off_t>(dirtab.size())) { |
| 48 | 5772 | const std::string line = GetLineMem(dirtab.c_str() + line_offset, | |
| 49 |
1/2✓ Branch 3 taken 2886 times.
✗ Branch 4 not taken.
|
2886 | dirtab.size() - line_offset); |
| 50 | 2886 | line_offset += line.size() + 1; // +1 == skipped \n | |
| 51 |
3/4✓ Branch 1 taken 2886 times.
✗ Branch 2 not taken.
✓ Branch 3 taken 58 times.
✓ Branch 4 taken 2828 times.
|
2886 | if (!ParseLine(line)) { |
| 52 | 58 | valid_ = false; | |
| 53 | } | ||
| 54 | 2886 | } | |
| 55 |
4/4✓ Branch 0 taken 552 times.
✓ Branch 1 taken 58 times.
✓ Branch 3 taken 523 times.
✓ Branch 4 taken 29 times.
|
610 | valid_ = valid_ && CheckRuleValidity(); |
| 56 | 610 | return valid_; | |
| 57 | } | ||
| 58 | |||
| 59 | |||
| 60 | 68 | bool Dirtab::Parse(FILE *dirtab_file) { | |
| 61 | 68 | valid_ = true; | |
| 62 | 68 | std::string line; | |
| 63 |
3/4✓ Branch 1 taken 136 times.
✗ Branch 2 not taken.
✓ Branch 3 taken 68 times.
✓ Branch 4 taken 68 times.
|
136 | while (GetLineFile(dirtab_file, &line)) { |
| 64 |
2/4✓ Branch 1 taken 68 times.
✗ Branch 2 not taken.
✗ Branch 3 not taken.
✓ Branch 4 taken 68 times.
|
68 | if (!ParseLine(line)) { |
| 65 | ✗ | valid_ = false; | |
| 66 | } | ||
| 67 | } | ||
| 68 |
3/6✓ Branch 0 taken 68 times.
✗ Branch 1 not taken.
✓ Branch 3 taken 68 times.
✗ Branch 4 not taken.
✓ Branch 5 taken 68 times.
✗ Branch 6 not taken.
|
68 | valid_ = valid_ && CheckRuleValidity(); |
| 69 | 68 | return valid_; | |
| 70 | 68 | } | |
| 71 | |||
| 72 | |||
| 73 | 2954 | bool Dirtab::ParseLine(const std::string &line) { | |
| 74 | // line parsing is done using std::string iterators. Each parsing method ex- | ||
| 75 | // pects an iterator and the end iterator. While parsing itr is constantly | ||
| 76 | // incremented to walk through the given .cvmfsdirtab line. | ||
| 77 | 2954 | std::string::const_iterator itr = line.begin(); | |
| 78 | 2954 | const std::string::const_iterator iend = line.end(); | |
| 79 | 2954 | bool negation = false; | |
| 80 | |||
| 81 | // parse preamble | ||
| 82 | 2954 | SkipWhitespace(iend, &itr); | |
| 83 |
2/2✓ Branch 1 taken 901 times.
✓ Branch 2 taken 2053 times.
|
2954 | if (*itr == Dirtab::kCommentMarker) { |
| 84 | 901 | return true; | |
| 85 |
2/2✓ Branch 1 taken 862 times.
✓ Branch 2 taken 1191 times.
|
2053 | } else if (*itr == Dirtab::kNegationMarker) { |
| 86 | 862 | negation = true; | |
| 87 | 862 | ++itr; | |
| 88 | 862 | SkipWhitespace(iend, &itr); | |
| 89 | } | ||
| 90 | |||
| 91 | // extract and parse pathspec | ||
| 92 |
2/4✓ Branch 2 taken 2053 times.
✗ Branch 3 not taken.
✓ Branch 5 taken 2053 times.
✗ Branch 6 not taken.
|
4106 | const std::string pathspec_str(Trim(std::string(itr, iend))); |
| 93 |
1/2✓ Branch 1 taken 2053 times.
✗ Branch 2 not taken.
|
2053 | return this->ParsePathspec(pathspec_str, negation); |
| 94 | 2053 | } | |
| 95 | |||
| 96 | 2393 | bool Dirtab::ParsePathspec(const std::string &pathspec_str, bool negation) { | |
| 97 |
2/2✓ Branch 1 taken 290 times.
✓ Branch 2 taken 2103 times.
|
2393 | if (pathspec_str.empty()) { |
| 98 | 290 | return true; | |
| 99 | } | ||
| 100 |
1/2✓ Branch 1 taken 2103 times.
✗ Branch 2 not taken.
|
2103 | const Pathspec pathspec(pathspec_str); |
| 101 | |||
| 102 | // all generated Pathspecs need to be valid and positive rules must be | ||
| 103 | // absolute. Otherwise the .cvmfsdirtab is not valid. | ||
| 104 |
8/8✓ Branch 1 taken 2074 times.
✓ Branch 2 taken 29 times.
✓ Branch 3 taken 1241 times.
✓ Branch 4 taken 833 times.
✓ Branch 6 taken 29 times.
✓ Branch 7 taken 1212 times.
✓ Branch 8 taken 58 times.
✓ Branch 9 taken 2045 times.
|
2103 | if (!pathspec.IsValid() || (!negation && !pathspec.IsAbsolute())) { |
| 105 | 58 | return false; | |
| 106 | } | ||
| 107 | |||
| 108 | // create a new dirtab rule | ||
| 109 |
1/2✓ Branch 1 taken 2045 times.
✗ Branch 2 not taken.
|
2045 | const Rule rule(pathspec, negation); |
| 110 |
1/2✓ Branch 1 taken 2045 times.
✗ Branch 2 not taken.
|
2045 | AddRule(rule); |
| 111 | 2045 | return true; | |
| 112 | 2103 | } | |
| 113 | |||
| 114 | |||
| 115 | 2045 | void Dirtab::AddRule(const Rule &rule) { | |
| 116 |
2/2✓ Branch 0 taken 833 times.
✓ Branch 1 taken 1212 times.
|
2045 | if (rule.is_negation) { |
| 117 | 833 | negative_rules_.push_back(rule); | |
| 118 | } else { | ||
| 119 | 1212 | positive_rules_.push_back(rule); | |
| 120 | } | ||
| 121 | 2045 | } | |
| 122 | |||
| 123 | |||
| 124 | 620 | bool Dirtab::CheckRuleValidity() const { | |
| 125 | // check if there are contradicting positive and negative rules | ||
| 126 | 620 | Rules::const_iterator p = positive_rules_.begin(); | |
| 127 | 620 | const Rules::const_iterator pend = positive_rules_.end(); | |
| 128 |
2/2✓ Branch 2 taken 1183 times.
✓ Branch 3 taken 591 times.
|
1774 | for (; p != pend; ++p) { |
| 129 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 1183 times.
|
1183 | assert(!p->is_negation); |
| 130 | 1183 | Rules::const_iterator n = negative_rules_.begin(); | |
| 131 | 1183 | const Rules::const_iterator nend = negative_rules_.end(); | |
| 132 |
2/2✓ Branch 2 taken 1740 times.
✓ Branch 3 taken 1154 times.
|
2894 | for (; n != nend; ++n) { |
| 133 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 1740 times.
|
1740 | assert(n->is_negation); |
| 134 |
3/4✓ Branch 3 taken 1740 times.
✗ Branch 4 not taken.
✓ Branch 5 taken 29 times.
✓ Branch 6 taken 1711 times.
|
1740 | if (p->pathspec == n->pathspec) { |
| 135 | 29 | return false; | |
| 136 | } | ||
| 137 | } | ||
| 138 | } | ||
| 139 | |||
| 140 | 591 | return true; | |
| 141 | } | ||
| 142 | |||
| 143 | |||
| 144 | 2652 | bool Dirtab::IsMatching(const std::string &path) const { | |
| 145 | // check if path has a positive match | ||
| 146 | 2652 | bool has_positive_match = false; | |
| 147 | 2652 | Rules::const_iterator p = positive_rules_.begin(); | |
| 148 | 2652 | const Rules::const_iterator pend = positive_rules_.end(); | |
| 149 |
2/2✓ Branch 2 taken 5676 times.
✓ Branch 3 taken 1305 times.
|
6981 | for (; p != pend; ++p) { |
| 150 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 5676 times.
|
5676 | assert(!p->is_negation); |
| 151 |
3/4✓ Branch 2 taken 5676 times.
✗ Branch 3 not taken.
✓ Branch 4 taken 1347 times.
✓ Branch 5 taken 4329 times.
|
5676 | if (p->pathspec.IsMatching(path)) { |
| 152 | 1347 | has_positive_match = true; | |
| 153 | 1347 | break; | |
| 154 | } | ||
| 155 | } | ||
| 156 | |||
| 157 |
5/6✓ Branch 0 taken 1347 times.
✓ Branch 1 taken 1305 times.
✓ Branch 3 taken 1347 times.
✗ Branch 4 not taken.
✓ Branch 5 taken 1144 times.
✓ Branch 6 taken 203 times.
|
2652 | return has_positive_match && !IsOpposing(path); |
| 158 | } | ||
| 159 | |||
| 160 | |||
| 161 | 5146 | bool Dirtab::IsOpposing(const std::string &path) const { | |
| 162 | 5146 | Rules::const_iterator n = negative_rules_.begin(); | |
| 163 | 5146 | const Rules::const_iterator nend = negative_rules_.end(); | |
| 164 |
2/2✓ Branch 2 taken 8391 times.
✓ Branch 3 taken 4304 times.
|
12695 | for (; n != nend; ++n) { |
| 165 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 8391 times.
|
8391 | assert(n->is_negation); |
| 166 |
3/4✓ Branch 2 taken 8391 times.
✗ Branch 3 not taken.
✓ Branch 4 taken 842 times.
✓ Branch 5 taken 7549 times.
|
8391 | if (n->pathspec.IsMatchingRelaxed(path)) { |
| 167 | 842 | return true; | |
| 168 | } | ||
| 169 | } | ||
| 170 | |||
| 171 | 4304 | return false; | |
| 172 | } | ||
| 173 | |||
| 174 | } // namespace catalog | ||
| 175 |