diff options
author | Bart Polot <bart@net.in.tum.de> | 2013-03-11 14:51:21 +0000 |
---|---|---|
committer | Bart Polot <bart@net.in.tum.de> | 2013-03-11 14:51:21 +0000 |
commit | 2b869471ca92027e0ffa1d8180585055d7698762 (patch) | |
tree | ce773e8bea6c65d9d8095b4efd6792267abb2025 /src/regex/plugin_block_regex.c | |
parent | f5c90ebc3dcaf15ec375016bd628717b92461d76 (diff) | |
download | gnunet-2b869471ca92027e0ffa1d8180585055d7698762.tar.gz gnunet-2b869471ca92027e0ffa1d8180585055d7698762.zip |
- allow GNUNET_BLOCK_evaluate on PUT requests for regex blocks
Diffstat (limited to 'src/regex/plugin_block_regex.c')
-rw-r--r-- | src/regex/plugin_block_regex.c | 252 |
1 files changed, 162 insertions, 90 deletions
diff --git a/src/regex/plugin_block_regex.c b/src/regex/plugin_block_regex.c index d3c973560..bfee12d7f 100644 --- a/src/regex/plugin_block_regex.c +++ b/src/regex/plugin_block_regex.c | |||
@@ -59,6 +59,157 @@ rdebug (void *cls, | |||
59 | 59 | ||
60 | 60 | ||
61 | /** | 61 | /** |
62 | * Function called to validate a reply or a request of type | ||
63 | * GNUNET_BLOCK_TYPE_REGEX. | ||
64 | * For request evaluation, pass "NULL" for the reply_block. | ||
65 | * Note that it is assumed that the reply has already been | ||
66 | * matched to the key (and signatures checked) as it would | ||
67 | * be done with the "get_key" function. | ||
68 | * | ||
69 | * @param cls closure | ||
70 | * @param type block type | ||
71 | * @param query original query (hash) | ||
72 | * @param bf pointer to bloom filter associated with query; possibly updated (!) | ||
73 | * @param bf_mutator mutation value for bf | ||
74 | * @param xquery extrended query data (can be NULL, depending on type) | ||
75 | * @param xquery_size number of bytes in xquery | ||
76 | * @param reply_block response to validate | ||
77 | * @param reply_block_size number of bytes in reply block | ||
78 | * @return characterization of result | ||
79 | */ | ||
80 | static enum GNUNET_BLOCK_EvaluationResult | ||
81 | evaluate_block_regex (void *cls, enum GNUNET_BLOCK_Type type, | ||
82 | const struct GNUNET_HashCode * query, | ||
83 | struct GNUNET_CONTAINER_BloomFilter **bf, | ||
84 | int32_t bf_mutator, const void *xquery, | ||
85 | size_t xquery_size, const void *reply_block, | ||
86 | size_t reply_block_size) | ||
87 | { | ||
88 | if (NULL == reply_block) /* queries (GET) are always valid */ | ||
89 | return GNUNET_BLOCK_EVALUATION_REQUEST_VALID; | ||
90 | if (0 != xquery_size) | ||
91 | { | ||
92 | const char *query; | ||
93 | |||
94 | query = (const char *) xquery; | ||
95 | if ('\0' != query[xquery_size - 1]) /* must be valid string */ | ||
96 | { | ||
97 | GNUNET_log (GNUNET_ERROR_TYPE_ERROR, | ||
98 | "Block xquery not a valid string\n"); | ||
99 | return GNUNET_BLOCK_EVALUATION_RESULT_INVALID; | ||
100 | } | ||
101 | } | ||
102 | else if (NULL != query) /* PUTs don't need xquery */ | ||
103 | { | ||
104 | const struct RegexBlock *rblock = reply_block; | ||
105 | |||
106 | GNUNET_break_op (0); | ||
107 | GNUNET_log (GNUNET_ERROR_TYPE_DEBUG, "Block with no xquery\n"); | ||
108 | GNUNET_log (GNUNET_ERROR_TYPE_DEBUG, " key: %s, %u edges\n", | ||
109 | GNUNET_h2s (&rblock->key), ntohl (rblock->n_edges)); | ||
110 | GNUNET_REGEX_block_iterate (rblock, reply_block_size, &rdebug, NULL); | ||
111 | return GNUNET_BLOCK_EVALUATION_RESULT_INVALID; | ||
112 | } | ||
113 | switch (GNUNET_REGEX_block_check (reply_block, | ||
114 | reply_block_size, | ||
115 | xquery)) | ||
116 | { | ||
117 | case GNUNET_SYSERR: | ||
118 | GNUNET_break_op(0); | ||
119 | return GNUNET_BLOCK_EVALUATION_RESULT_INVALID; | ||
120 | case GNUNET_NO: | ||
121 | GNUNET_log (GNUNET_ERROR_TYPE_DEBUG, | ||
122 | "BLOCK XQUERY %s not accepted\n", xquery); | ||
123 | return GNUNET_BLOCK_EVALUATION_RESULT_IRRELEVANT; | ||
124 | default: | ||
125 | GNUNET_log (GNUNET_ERROR_TYPE_DEBUG, | ||
126 | "BLOCK XQUERY %s accepted\n", xquery); | ||
127 | break; | ||
128 | } | ||
129 | if (NULL != bf) | ||
130 | { | ||
131 | struct GNUNET_HashCode chash; | ||
132 | struct GNUNET_HashCode mhash; | ||
133 | |||
134 | GNUNET_CRYPTO_hash (reply_block, reply_block_size, &chash); | ||
135 | GNUNET_BLOCK_mingle_hash (&chash, bf_mutator, &mhash); | ||
136 | if (NULL != *bf) | ||
137 | { | ||
138 | if (GNUNET_YES == GNUNET_CONTAINER_bloomfilter_test (*bf, &mhash)) | ||
139 | return GNUNET_BLOCK_EVALUATION_OK_DUPLICATE; | ||
140 | } | ||
141 | else | ||
142 | { | ||
143 | *bf = GNUNET_CONTAINER_bloomfilter_init (NULL, 8, BLOOMFILTER_K); | ||
144 | } | ||
145 | GNUNET_CONTAINER_bloomfilter_add (*bf, &mhash); | ||
146 | } | ||
147 | return GNUNET_BLOCK_EVALUATION_OK_MORE; | ||
148 | } | ||
149 | |||
150 | |||
151 | /** | ||
152 | * Function called to validate a reply or a request of type | ||
153 | * GNUNET_BLOCK_TYPE_REGEX_ACCEPT. | ||
154 | * For request evaluation, pass "NULL" for the reply_block. | ||
155 | * Note that it is assumed that the reply has already been | ||
156 | * matched to the key (and signatures checked) as it would | ||
157 | * be done with the "get_key" function. | ||
158 | * | ||
159 | * @param cls closure | ||
160 | * @param type block type | ||
161 | * @param query original query (hash) | ||
162 | * @param bf pointer to bloom filter associated with query; possibly updated (!) | ||
163 | * @param bf_mutator mutation value for bf | ||
164 | * @param xquery extrended query data (can be NULL, depending on type) | ||
165 | * @param xquery_size number of bytes in xquery | ||
166 | * @param reply_block response to validate | ||
167 | * @param reply_block_size number of bytes in reply block | ||
168 | * @return characterization of result | ||
169 | */ | ||
170 | static enum GNUNET_BLOCK_EvaluationResult | ||
171 | evaluate_block_regex_accept (void *cls, enum GNUNET_BLOCK_Type type, | ||
172 | const struct GNUNET_HashCode * query, | ||
173 | struct GNUNET_CONTAINER_BloomFilter **bf, | ||
174 | int32_t bf_mutator, const void *xquery, | ||
175 | size_t xquery_size, const void *reply_block, | ||
176 | size_t reply_block_size) | ||
177 | { | ||
178 | if (0 != xquery_size) | ||
179 | { | ||
180 | GNUNET_break_op (0); | ||
181 | return GNUNET_BLOCK_EVALUATION_REQUEST_INVALID; | ||
182 | } | ||
183 | if (NULL == reply_block) | ||
184 | return GNUNET_BLOCK_EVALUATION_REQUEST_VALID; | ||
185 | if (sizeof (struct RegexAccept) != reply_block_size) | ||
186 | { | ||
187 | GNUNET_break_op(0); | ||
188 | return GNUNET_BLOCK_EVALUATION_RESULT_INVALID; | ||
189 | } | ||
190 | if (NULL != bf) | ||
191 | { | ||
192 | struct GNUNET_HashCode chash; | ||
193 | struct GNUNET_HashCode mhash; | ||
194 | |||
195 | GNUNET_CRYPTO_hash (reply_block, reply_block_size, &chash); | ||
196 | GNUNET_BLOCK_mingle_hash (&chash, bf_mutator, &mhash); | ||
197 | if (NULL != *bf) | ||
198 | { | ||
199 | if (GNUNET_YES == GNUNET_CONTAINER_bloomfilter_test (*bf, &mhash)) | ||
200 | return GNUNET_BLOCK_EVALUATION_OK_DUPLICATE; | ||
201 | } | ||
202 | else | ||
203 | { | ||
204 | *bf = GNUNET_CONTAINER_bloomfilter_init (NULL, 8, BLOOMFILTER_K); | ||
205 | } | ||
206 | GNUNET_CONTAINER_bloomfilter_add (*bf, &mhash); | ||
207 | } | ||
208 | return GNUNET_BLOCK_EVALUATION_OK_MORE; | ||
209 | } | ||
210 | |||
211 | |||
212 | /** | ||
62 | * Function called to validate a reply or a request. For | 213 | * Function called to validate a reply or a request. For |
63 | * request evaluation, simply pass "NULL" for the reply_block. | 214 | * request evaluation, simply pass "NULL" for the reply_block. |
64 | * Note that it is assumed that the reply has already been | 215 | * Note that it is assumed that the reply has already been |
@@ -84,105 +235,26 @@ block_plugin_regex_evaluate (void *cls, enum GNUNET_BLOCK_Type type, | |||
84 | size_t xquery_size, const void *reply_block, | 235 | size_t xquery_size, const void *reply_block, |
85 | size_t reply_block_size) | 236 | size_t reply_block_size) |
86 | { | 237 | { |
87 | struct GNUNET_HashCode chash; | 238 | enum GNUNET_BLOCK_EvaluationResult result; |
88 | struct GNUNET_HashCode mhash; | ||
89 | 239 | ||
90 | switch (type) | 240 | switch (type) |
91 | { | 241 | { |
92 | case GNUNET_BLOCK_TYPE_REGEX: | 242 | case GNUNET_BLOCK_TYPE_REGEX: |
93 | if (NULL == reply_block) | 243 | result = evaluate_block_regex (cls, type, query, bf, bf_mutator, |
94 | return GNUNET_BLOCK_EVALUATION_REQUEST_VALID; | 244 | xquery, xquery_size, |
95 | if (0 != xquery_size) | 245 | reply_block, reply_block_size); |
96 | { | 246 | break; |
97 | const char *query; | ||
98 | |||
99 | query = (const char *) xquery; | ||
100 | if ('\0' != query[xquery_size - 1]) /* must be valid string */ | ||
101 | { | ||
102 | GNUNET_log (GNUNET_ERROR_TYPE_ERROR, | ||
103 | "Block xquery not a valid string\n"); | ||
104 | return GNUNET_BLOCK_EVALUATION_RESULT_INVALID; | ||
105 | } | ||
106 | } | ||
107 | else | ||
108 | { | ||
109 | const struct RegexBlock *rblock = reply_block; | ||
110 | |||
111 | GNUNET_break_op (0); | ||
112 | GNUNET_log (GNUNET_ERROR_TYPE_DEBUG, "Block with no xquery\n"); | ||
113 | GNUNET_log (GNUNET_ERROR_TYPE_DEBUG, " key: %s, %u edges\n", | ||
114 | GNUNET_h2s (&rblock->key), ntohl (rblock->n_edges)); | ||
115 | GNUNET_REGEX_block_iterate (rblock, reply_block_size, &rdebug, NULL); | ||
116 | return GNUNET_BLOCK_EVALUATION_RESULT_INVALID; | ||
117 | } | ||
118 | switch (GNUNET_REGEX_block_check (reply_block, | ||
119 | reply_block_size, | ||
120 | xquery)) | ||
121 | { | ||
122 | case GNUNET_SYSERR: | ||
123 | GNUNET_break_op(0); | ||
124 | return GNUNET_BLOCK_EVALUATION_RESULT_INVALID; | ||
125 | case GNUNET_NO: | ||
126 | GNUNET_log (GNUNET_ERROR_TYPE_DEBUG, | ||
127 | "BLOCK XQUERY %s not accepted\n", xquery); | ||
128 | return GNUNET_BLOCK_EVALUATION_RESULT_IRRELEVANT; | ||
129 | default: | ||
130 | GNUNET_log (GNUNET_ERROR_TYPE_DEBUG, | ||
131 | "BLOCK XQUERY %s accepted\n", xquery); | ||
132 | break; | ||
133 | } | ||
134 | if (NULL != bf) | ||
135 | { | ||
136 | GNUNET_CRYPTO_hash (reply_block, reply_block_size, &chash); | ||
137 | GNUNET_BLOCK_mingle_hash (&chash, bf_mutator, &mhash); | ||
138 | if (NULL != *bf) | ||
139 | { | ||
140 | if (GNUNET_YES == GNUNET_CONTAINER_bloomfilter_test (*bf, &mhash)) | ||
141 | return GNUNET_BLOCK_EVALUATION_OK_DUPLICATE; | ||
142 | } | ||
143 | else | ||
144 | { | ||
145 | *bf = GNUNET_CONTAINER_bloomfilter_init (NULL, 8, BLOOMFILTER_K); | ||
146 | } | ||
147 | GNUNET_CONTAINER_bloomfilter_add (*bf, &mhash); | ||
148 | } | ||
149 | return GNUNET_BLOCK_EVALUATION_OK_MORE; | ||
150 | |||
151 | 247 | ||
152 | case GNUNET_BLOCK_TYPE_REGEX_ACCEPT: | 248 | case GNUNET_BLOCK_TYPE_REGEX_ACCEPT: |
153 | if (0 != xquery_size) | 249 | result = evaluate_block_regex_accept (cls, type, query, bf, bf_mutator, |
154 | { | 250 | xquery, xquery_size, |
155 | GNUNET_break_op (0); | 251 | reply_block, reply_block_size); |
156 | return GNUNET_BLOCK_EVALUATION_REQUEST_INVALID; | 252 | break; |
157 | } | ||
158 | if (NULL == reply_block) | ||
159 | return GNUNET_BLOCK_EVALUATION_REQUEST_VALID; | ||
160 | if (sizeof (struct RegexAccept) != reply_block_size) | ||
161 | { | ||
162 | GNUNET_break_op(0); | ||
163 | return GNUNET_BLOCK_EVALUATION_RESULT_INVALID; | ||
164 | } | ||
165 | if (NULL != bf) | ||
166 | { | ||
167 | GNUNET_CRYPTO_hash (reply_block, reply_block_size, &chash); | ||
168 | GNUNET_BLOCK_mingle_hash (&chash, bf_mutator, &mhash); | ||
169 | if (NULL != *bf) | ||
170 | { | ||
171 | if (GNUNET_YES == GNUNET_CONTAINER_bloomfilter_test (*bf, &mhash)) | ||
172 | return GNUNET_BLOCK_EVALUATION_OK_DUPLICATE; | ||
173 | } | ||
174 | else | ||
175 | { | ||
176 | *bf = GNUNET_CONTAINER_bloomfilter_init (NULL, 8, BLOOMFILTER_K); | ||
177 | } | ||
178 | GNUNET_CONTAINER_bloomfilter_add (*bf, &mhash); | ||
179 | } | ||
180 | return GNUNET_BLOCK_EVALUATION_OK_MORE; | ||
181 | |||
182 | 253 | ||
183 | default: | 254 | default: |
184 | return GNUNET_BLOCK_EVALUATION_TYPE_NOT_SUPPORTED; | 255 | result = GNUNET_BLOCK_EVALUATION_TYPE_NOT_SUPPORTED; |
185 | } | 256 | } |
257 | return result; | ||
186 | } | 258 | } |
187 | 259 | ||
188 | 260 | ||