aboutsummaryrefslogtreecommitdiffstats
path: root/lib/asn1/test/ber_decode_error.erl
blob: 8268698b8dd03488476747256f4b1661e90ebd82 (plain) (blame)
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
67
68
69
70
71
72
73
%%
%% %CopyrightBegin%
%%
%% Copyright Ericsson AB 1999-2013. 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]),
    case 'Constructed':decode('S3', Bytes) of
	{error,{asn1,{unexpected,_}}} -> ok
    end,

    %% Unexpected bytes must be accepted if there is an extensionmark
    {ok,{'S3ext',17}} = 'Constructed':decode('S3ext', Bytes),

    %% Truncated tag.
    {error,{asn1,{invalid_tag,_}}} =
	(catch 'Constructed':decode('I', <<31,255,255>>)),

    %% Overlong tag.
    {error,{asn1,{invalid_tag,_}}} =
	(catch 'Constructed':decode('I', <<31,255,255,255,127>>)),

    %% Invalid length.
    {error,{asn1,{invalid_length,_}}} =
	(catch 'Constructed':decode('I', <<8,255>>)),

    %% Other errors.
    {error,{asn1,{invalid_value,_}}} =
	(catch 'Constructed':decode('I', <<>>)),

    {error,{asn1,{invalid_value,_}}} =
	(catch 'Constructed':decode('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.
    {error,{asn1,{invalid_length,_}}} =
	(catch 'Constructed':decode('S', sub(<<8,16#80,0,0>>, 3))),
    {error,{asn1,{invalid_length,_}}} =
	(catch 'Constructed':decode('S', sub(<<8,16#80,0,0>>, 2))),
    {error,{asn1,{invalid_length,_}}} =
	(catch 'Constructed':decode('S', sub(<<40,16#80,1,1,255,0,0>>, 6))),
    {error,{asn1,{invalid_length,_}}} =
	(catch 'Constructed':decode('S', sub(<<40,16#80,1,1,255,0,0>>, 5))),

    %% A primitive must not be encoded with an indefinite length.
    {error,{asn1,{invalid_length,_}}} =
	(catch 'Constructed':decode('OS', <<4,128,4,3,97,98,99,0,0>>)),
    ok.

sub(Bin, Bytes) ->
    <<B:Bytes/binary,_/binary>> = Bin,
    B.