path: root/lib/asn1/test/testSSLspecs.erl

%%
%% %CopyrightBegin%
%% 
%% Copyright Ericsson AB 2004-2009. All Rights Reserved.
%% 
%% The contents of this file are subject to the Erlang Public License,
%% Version 1.1, (the "License"); you may not use this file except in
%% compliance with the License. You should have received a copy of the
%% Erlang Public License along with this software. If not, it can be
%% retrieved online at http://www.erlang.org/.
%% 
%% Software distributed under the License is distributed on an "AS IS"
%% basis, WITHOUT WARRANTY OF ANY KIND, either express or implied. See
%% the License for the specific language governing rights and limitations
%% under the License.
%% 
%% %CopyrightEnd%
%%
%%

-module(testSSLspecs).

-export([compile/3,run/1,compile_inline/2,run_inline/1]).

-include_lib("test_server/include/test_server.hrl").


compile(Config,Rules,Options) ->

    ?line DataDir = ?config(data_dir,Config),
    ?line OutDir = ?config(priv_dir,Config),
    ?line true = code:add_patha(?config(priv_dir,Config)),

    ?line ok = asn1ct:compile(DataDir ++ 
			      "SSL-PKIX",[Rules,{outdir,OutDir},{i,DataDir},
					  {i,OutDir}]++Options),
    ?line ok = asn1ct:compile(DataDir ++ "PKIXAttributeCertificate",
			      [Rules,{outdir,OutDir},{i,DataDir},
			       {i,OutDir}]++Options),
    %% test case for OTP-4792 optional open type
    ?line ok = asn1ct:compile(DataDir ++ "PKIX1Algorithms88",
			      [Rules,{outdir,OutDir},{i,DataDir},
			       {i,OutDir}]++Options),
    ?line ok = asn1ct:compile(DataDir ++ "PKIX1Explicit88",
			      [Rules,{outdir,OutDir},{i,DataDir},
			       {i,OutDir}]++Options),
    ?line ok = asn1ct:compile(DataDir ++ "PKIX1Implicit88",
			      [Rules,{outdir,OutDir},{i,DataDir},
			       {i,OutDir}]++Options),
    %% OTP-6698, OTP-6702
    ?line ok = remove_db_files(OutDir),
    ?line ok = asn1ct:compile(DataDir ++ "PKIX1Explicit93",
			      [Rules,{outdir,OutDir},{i,DataDir},
			       {i,OutDir}]++Options),
    ?line ok = asn1ct:compile(DataDir ++ "PKIX1Implicit93",
			      [Rules,{outdir,OutDir},{i,DataDir},
			       {i,OutDir}]++Options).

compile_inline(Config,Rule) ->
    ?line DataDir = ?config(data_dir,Config),
    ?line OutDir = ?config(priv_dir,Config),
    ?line true = code:add_patha(?config(priv_dir,Config)),

    case Rule of
	BER when BER==ber_bin;BER==ber_bin_v2 ->
	    Options = [der,compact_bit_string,optimize,
		       asn1config,inline],
	    ?line ok = remove_db_file_inline(OutDir),
	    ?line ok = asn1ct:compile(DataDir ++ "OTP-PKIX.set.asn",
				      [Rule,{outdir,OutDir},{i,DataDir},
				       {i,OutDir}]++Options);
	_ ->
	    ok
    end.

remove_db_files(Dir) ->
    ?line ok = remove_db_file(Dir ++ "PKIX1Explicit93.asn1db"),
    ?line ok = remove_db_file(Dir ++ "PKIX1Implicit93.asn1db").
remove_db_file(File) ->
    case file:delete(File) of
	ok ->
	    ok;
	{error,enoent} ->
	    ok;
	Err ->
	    Err
    end.

remove_db_file_inline(Dir) ->
    ?line ok = remove_db_file(Dir ++ "OTP-PKIX.asn1db"),
    ?line ok = remove_db_file(Dir ++ "SSL-PKIX.asn1db"),
    ?line ok = remove_db_file(Dir ++ "PKIXAttributeCertificate.asn1db"),
    ?line ok = remove_db_file(Dir ++ "PKIX1Algorithms88.asn1db"),
    ?line ok = remove_db_file(Dir ++ "PKIX1Explicit88.asn1db"),
    ?line ok = remove_db_file(Dir ++ "PKIX1Implicit88.asn1db").

run(BER) when BER==ber_bin;BER==ber_bin_v2 ->
    run1(1);
run(_) ->
    ok.

run1(6) ->
    ?line f1(6),
    ?line f2(6),
%%    ?line transform3(ex(7)),
    ?line transform4(ex(7));
run1(N) ->
    ?line f1(N),
    ?line f2(N),
    run1(N+1).


f1(N) ->
    transform1(ex(N)).

f2(N) ->
    transform2(ex(N)).


transform1(ATAV) ->
    ?line {ok, ATAVEnc} = 'PKIX1Explicit88':encode('AttributeTypeAndValue',
ATAV),
    ?line {ok, _ATAVDec} = 'SSL-PKIX':decode('AttributeTypeAndValue',
                                      list_to_binary(ATAVEnc)).

transform2(ATAV) ->
    ?line {ok, ATAVEnc} = 'PKIX1Explicit88':encode('AttributeTypeAndValue',
ATAV),
    ?line {ok, _ATAVDec} = 'PKIX1Explicit88':decode('AttributeTypeAndValue',
                                             list_to_binary(ATAVEnc)).


transform4(ATAV) ->
    ?line {ok, ATAVEnc} = 'PKIX1Explicit88':encode('Attribute',
ATAV),
    ?line {ok, _ATAVDec} = 'PKIX1Explicit88':decode('Attribute',
                                             list_to_binary(ATAVEnc)).


ex(1) ->
    {'AttributeTypeAndValue',
     {2,5,4,3},
     <<19,5,111,116,112,67,65>>};
ex(2) ->
    {'AttributeTypeAndValue',
     {2,5,4,11},
     <<19,10,69,114,108,97,110,103,32,79,84,80>>};
ex(3) ->
    {'AttributeTypeAndValue',
     {2,5,4,10},
     <<19,11,69,114,105,99,115,115,111,110,32,65,66>>};
ex(4) ->
    {'AttributeTypeAndValue',
     {2,5,4,6},
     <<19,2,83,69>>};
ex(5) ->
    {'AttributeTypeAndValue',
     {2,5,4,7},
     <<19,9,83,116,111,99,107,104,111,108,109>>};
ex(6) ->
    {'AttributeTypeAndValue',
     {1,2,840,113549,1,9,1},
     <<22,22,112,101,116,101,114,64,101,114,105,120,
      46,101,114,105,99,115,115,111,110,46,115,101>>};
ex(7) ->
    {'Attribute',
     {1,2,840,113549,1,9,1},
     [[19,5,111,116,112,67,65]]}.

run_inline(Rule) when Rule==ber_bin;Rule==ber_bin_v2 ->
    Cert = cert(),
    ?line {ok,{'CertificatePKIX1Explicit88',{Type,UnDec},_,_}} = 'OTP-PKIX':decode_TBSCert_exclusive(Cert),
    ?line {ok,_} = 'OTP-PKIX':decode_part(Type,UnDec),
    ok;
run_inline(_) ->
    ok.

cert() ->
    <<48,130,3,200,48,130,3,49,160,3,2,1,2,2,1,1,48,13,6,9,42,134,72,134,247,13,1,1,5,5,0,48,129,134,49,17,48,15,6,3,85,4,3,19,8,101,114,108,97,110,103,67,65,49,19,48,17,6,3,85,4,11,19,10,69,114,108,97,110,103,32,79,84,80,49,20,48,18,6,3,85,4,10,19,11,69,114,105,99,115,115,111,110,32,65,66,49,18,48,16,6,3,85,4,7,19,9,83,116,111,99,107,104,111,108,109,49,11,48,9,6,3,85,4,6,19,2,83,69,49,37,48,35,6,9,42,134,72,134,247,13,1,9,1,22,22,112,101,116,101,114,64,101,114,105,120,46,101,114,105,99,115,115,111,110,46,115,101,48,30,23,13,48,55,48,53,48,57,49,50,51,52,48,57,90,23,13,49,55,48,51,49,55,49,50,51,52,48,57,90,48,129,131,49,14,48,12,6,3,85,4,3,19,5,111,116,112,67,65,49,19,48,17,6,3,85,4,11,19,10,69,114,108,97,110,103,32,79,84,80,49,20,48,18,6,3,85,4,10,19,11,69,114,105,99,115,115,111,110,32,65,66,49,11,48,9,6,3,85,4,6,19,2,83,69,49,18,48,16,6,3,85,4,7,19,9,83,116,111,99,107,104,111,108,109,49,37,48,35,6,9,42,134,72,134,247,13,1,9,1,22,22,112,101,116,101,114,64,101,114,105,120,46,101,114,105,99,115,115,111,110,46,115,101,48,129,159,48,13,6,9,42,134,72,134,247,13,1,1,1,5,0,3,129,141,0,48,129,137,2,129,129,0,157,223,214,78,61,218,253,253,143,253,54,171,133,60,170,135,118,35,37,238,208,160,209,6,115,228,99,139,202,32,226,243,181,251,216,20,154,56,18,225,158,17,46,210,88,80,0,60,121,125,159,116,98,206,192,243,95,213,5,117,140,217,211,69,105,70,208,53,132,33,120,233,97,86,136,39,245,36,220,204,187,171,125,193,169,250,123,3,63,220,240,216,136,151,176,255,7,53,55,204,234,104,24,222,232,46,29,88,7,239,183,95,210,202,244,125,106,169,225,181,128,13,22,216,15,150,203,147,2,3,1,0,1,163,130,1,69,48,130,1,65,48,15,6,3,85,29,19,1,1,255,4,5,48,3,1,1,255,48,11,6,3,85,29,15,4,4,3,2,1,6,48,29,6,3,85,29,14,4,22,4,20,59,42,225,69,198,245,160,224,205,23,100,154,109,139,92,188,255,177,162,7,48,129,187,6,3,85,29,35,4,129,179,48,129,176,128,20,138,222,66,214,242,39,254,232,217,84,224,143,206,167,0,167,118,166,219,135,161,129,140,164,129,137,48,129,134,49,17,48,15,6,3,85,4,3,19,8,101,114,108,97,110,103,67,65,49,19,48,17,6,3,85,4,11,19,10,69,114,108,97,110,103,32,79,84,80,49,20,48,18,6,3,85,4,10,19,11,69,114,105,99,115,115,111,110,32,65,66,49,18,48,16,6,3,85,4,7,19,9,83,116,111,99,107,104,111,108,109,49,11,48,9,6,3,85,4,6,19,2,83,69,49,37,48,35,6,9,42,134,72,134,247,13,1,9,1,22,22,112,101,116,101,114,64,101,114,105,120,46,101,114,105,99,115,115,111,110,46,115,101,130,9,0,217,241,90,207,3,129,188,250,48,33,6,3,85,29,17,4,26,48,24,129,22,112,101,116,101,114,64,101,114,105,120,46,101,114,105,99,115,115,111,110,46,115,101,48,33,6,3,85,29,18,4,26,48,24,129,22,112,101,116,101,114,64,101,114,105,120,46,101,114,105,99,115,115,111,110,46,115,101,48,13,6,9,42,134,72,134,247,13,1,1,5,5,0,3,129,129,0,0,193,166,44,175,85,39,236,34,138,64,208,1,244,50,147,73,0,236,172,244,6,127,14,70,113,79,176,212,170,65,159,232,153,234,253,158,17,92,249,196,102,83,116,186,67,168,95,132,65,228,190,78,11,64,75,215,73,156,223,193,46,166,11,227,106,39,133,232,175,223,75,14,232,178,210,122,70,245,18,164,65,151,44,129,3,10,20,92,251,69,230,208,30,203,65,238,140,95,48,130,202,173,28,84,253,42,18,56,47,248,152,156,171,214,37,41,155,205,230,251,98,118,164,239,246,216,66>>.