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
|
%%
%% %CopyrightBegin%
%%
%% Copyright Ericsson AB 1999-2017. All Rights Reserved.
%%
%% 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.
%%
%% %CopyrightEnd%
%%
%%
-module(ber_decode_error).
-export([run/1]).
run([]) ->
{ok,B} = 'Constructed':encode('S3', {'S3',17}),
[T,L|V] = binary_to_list(B),
Bytes = list_to_binary([T,L+3|V] ++ [2,1,3]),
{unexpected,_} = dec_error('S3', Bytes),
%% Unexpected bytes must be accepted if there is an extensionmark
{ok,{'S3ext',17}} = 'Constructed':decode('S3ext', Bytes),
%% Truncated tag.
{invalid_tag,_} = dec_error('I', <<31,255,255>>),
%% Overlong tag.
{invalid_tag,_} = dec_error('I', <<31,255,255,255,127>>),
%% Invalid length.
{invalid_length,_} = dec_error('I', <<8,255>>),
%% Other errors.
{invalid_value,_} = dec_error('I', <<>>),
{invalid_value,_} = dec_error('I', <<8,7>>),
%% Short indefinite length. Make sure that the decoder doesn't look
%% beyond the end of binary when looking for a 0,0 terminator.
{invalid_length,_} = dec_error('S', sub(<<8,16#80,0,0>>, 3)),
{invalid_length,_} = dec_error('S', sub(<<8,16#80,0,0>>, 2)),
{invalid_length,_} = dec_error('S', sub(<<40,16#80,1,1,255,0,0>>, 6)),
{invalid_length,_} = dec_error('S', sub(<<40,16#80,1,1,255,0,0>>, 5)),
%% A primitive must not be encoded with an indefinite length.
{invalid_length,_} = dec_error('OS', <<4,128,4,3,97,98,99,0,0>>),
ok.
dec_error(T, Bin) ->
{error,{asn1,{Reason,Stk}}} = 'Constructed':decode(T, Bin),
[{_,_,_,_}|_] = Stk,
Reason.
sub(Bin, Bytes) ->
<<B:Bytes/binary,_/binary>> = Bin,
B.
|