%%
%% %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.