The R13B03 release.OTP_R13B03

1 files changed, 377 insertions, 0 deletions

diff --git a/erts/emulator/test/evil_SUITE.erl b/erts/emulator/test/evil_SUITE.erl
new file mode 100644
index 0000000000..a8288584f4
--- /dev/null
+++ b/erts/emulator/test/evil_SUITE.erl
@@ -0,0 +1,377 @@
+%%
+%% %CopyrightBegin%
+%% 
+%% Copyright Ericsson AB 2002-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(evil_SUITE).
+
+-export([all/1,init_per_testcase/2,fin_per_testcase/2,
+	 heap_frag/1,
+	 encode_decode_ext/1,
+	 decode_integer_ext/1,
+	 decode_small_big_ext/1,
+	 decode_large_big_ext/1,
+	 decode_small_big_ext_neg/1,
+	 decode_large_big_ext_neg/1,
+	 decode_too_small/1,
+	 decode_pos_neg_zero/1
+	]).
+
+-include("test_server.hrl").
+
+all(suite) ->
+    [
+     heap_frag,
+     encode_decode_ext,
+     decode_integer_ext,
+     decode_small_big_ext,
+     decode_large_big_ext,
+     decode_small_big_ext_neg,
+     decode_large_big_ext_neg,
+     decode_too_small,
+     decode_pos_neg_zero
+    ].
+
+init_per_testcase(_Case, Config) ->
+    ?line Dog = test_server:timetrap(?t:minutes(0.5)),
+    [{watchdog, Dog}|Config].
+
+fin_per_testcase(_Case, Config) ->
+    Dog=?config(watchdog, Config),
+    test_server:timetrap_cancel(Dog),
+    ok.
+
+heap_frag(Config) when is_list(Config) ->
+    N = 512,
+    Self = self(),
+    ?line Pid = spawn_link(fun() -> appender(Self, N) end),
+    receive
+	{Pid,Res} ->
+	    ?line Res = my_appender(N);
+	Garbage ->
+	    io:format("Garbage: ~p\n", [Garbage]),
+	    ?line ?t:fail(got_garbage)
+    end.
+
+
+%% ######################################################################## %%
+
+%% "Interesting" integers taken from erl_interface ei_decode_SUITE.erl
+%% These test cases are not "evil" but the next test case is....
+
+encode_decode_ext(Config) when is_list(Config) ->
+    ?line enc_dec( 2,   0),               % SMALL_INTEGER_EXT smallest
+    ?line enc_dec( 2, 255),           	  % SMALL_INTEGER_EXT largest
+    ?line enc_dec( 5, 256),           	  % INTEGER_EXT smallest pos (*)
+    ?line enc_dec( 5,  -1),            	  % INTEGER_EXT largest  neg
+
+    ?line enc_dec( 5, 16#07ffffff),  	  % INTEGER_EXT largest (28 bits)
+    ?line enc_dec( 5,-16#08000000),  	  % INTEGER_EXT smallest
+    ?line enc_dec( 7, 16#08000000),  	  % SMALL_BIG_EXT smallest pos(*)
+    ?line enc_dec( 7,-16#08000001),  	  % SMALL_BIG_EXT largest neg (*)
+
+    ?line enc_dec( 7, 16#7fffffff),  	  % SMALL_BIG_EXT largest  i32
+    ?line enc_dec( 7,-16#80000000),  	  % SMALL_BIG_EXT smallest i32
+
+    ?line enc_dec( 7, 16#80000000),  	  % SMALL_BIG_EXT u32
+    ?line enc_dec( 7, 16#ffffffff),  	  % SMALL_BIG_EXT largest u32
+
+    ?line enc_dec( 9, 16#7fffffffffff),     % largest  i48
+    ?line enc_dec( 9,-16#800000000000),     % smallest i48
+    ?line enc_dec( 9, 16#ffffffffffff),     % largest  u48
+    ?line enc_dec(11, 16#7fffffffffffffff), % largest  i64
+    ?line enc_dec(11,-16#8000000000000000), % smallest i64
+    ?line enc_dec(11, 16#ffffffffffffffff), % largest  u64
+
+    ok.
+
+
+%% ######################################################################## %%
+
+%% "Interesting" integers taken from erl_interface ei_decode_SUITE.erl
+%% These test the decoding "unusual", i.e. integers packed according
+%% to "erts/emulator/internal_doc/erl_ext_dist.txt" but not the way
+%% the emulator or erl_interface encode them.
+%%
+%% NOTE!!!! The comments below after a decode line is how it currently
+%% is encoded in the external format by the emulator and
+%% erl_interface, i.e. not how it is encoded in the test case below.
+
+decode_integer_ext(Config) when is_list(Config) ->
+    ?line decode(  0, <<131,98,  0:32>>),	% SMALL_INTEGER_EXT
+    ?line decode( 42, <<131,98, 42:32>>),	% SMALL_INTEGER_EXT
+    ?line decode(255, <<131,98,255:32>>),	% SMALL_INTEGER_EXT
+    ?line decode( 16#08000000, <<131,98, 16#08000000:32>>), % SMALL_BIG_EXT
+    ?line decode(-16#08000001, <<131,98,-16#08000001:32>>), % SMALL_BIG_EXT
+    ?line decode( 16#7fffffff, <<131,98, 16#7fffffff:32>>), % SMALL_BIG_EXT
+    ?line decode(-16#80000000, <<131,98,-16#80000000:32>>), % SMALL_BIG_EXT
+    ok.
+
+decode_small_big_ext(Config) when is_list(Config) ->
+    ?line decode(256,<<131,110,2,0,0,1>>),	% INTEGER_EXT
+    ?line decode(16#07ffffff,<<131,110,4,0,255,255,255,7>>), % INTEGER_EXT
+    ?line decode(16#7fffffff,<<131,110,4,0,255,255,255,127>>), % SMALL_BIG_EXT
+
+    ?line decode(42,<<131,110,1,0,42>>),	% SMALL_INTEGER_EXT
+    ?line decode(42,<<131,110,2,0,42,0>>),	% Redundant zeros from now on
+    ?line decode(42,<<131,110,3,0,42,0,0>>),
+    ?line decode(42,<<131,110,4,0,42,0,0,0>>),
+    ?line decode(42,<<131,110,5,0,42,0,0,0,0>>),
+    ?line decode(42,<<131,110,6,0,42,0,0,0,0,0>>),
+    ?line decode(42,<<131,110,7,0,42,0,0,0,0,0,0>>),
+    ?line decode(42,<<131,110,8,0,42,0,0,0,0,0,0,0>>),
+    ok.
+
+decode_large_big_ext(Config) when is_list(Config) ->
+    ?line decode(256,<<131,111,2:32,0,0,1>>), % INTEGER_EXT
+    ?line decode(16#07ffffff,<<131,111,4:32,0,255,255,255,7>>), % INTEG_EXT
+    ?line decode(16#7fffffff,<<131,111,4:32,0,255,255,255,127>>), % SMA_BIG
+    ?line decode(16#ffffffff,<<131,111,4:32,0,255,255,255,255>>), % SMA_BIG
+
+    N = largest_small_big(),
+    ?line decode(N,<<131,111,255:32,0,N:2040/little>>), % SMALL_BIG_EXT
+
+    ?line decode(42,<<131,111,1:32,0,42>>),
+    ?line decode(42,<<131,111,2:32,0,42,0>>), % Redundant zeros from now on
+    ?line decode(42,<<131,111,3:32,0,42,0,0>>),
+    ?line decode(42,<<131,111,4:32,0,42,0,0,0>>),
+    ?line decode(42,<<131,111,5:32,0,42,0,0,0,0>>),
+    ?line decode(42,<<131,111,6:32,0,42,0,0,0,0,0>>),
+    ?line decode(42,<<131,111,7:32,0,42,0,0,0,0,0,0>>),
+    ?line decode(42,<<131,111,8:32,0,42,0,0,0,0,0,0,0>>),
+    ok.
+
+decode_small_big_ext_neg(Config) when is_list(Config) ->
+    ?line decode(-1,<<131,110,1,1,1>>),		% INTEGER_EXT
+    ?line decode(-16#08000000,<<131,110,4,1,0,0,0,8>>), % INTEGER_EXT
+    ?line decode(-16#80000000,<<131,110,4,1,0,0,0,128>>), % SMALL_BIG_EXT
+    ?line decode(-16#ffffffff,<<131,110,4,1,255,255,255,255>>), % SMALL_BIG_EXT
+
+    N = largest_small_big(),
+    ?line decode(-N,<<131,111,255:32,1,N:2040/little>>), % SMALL_BIG_EXT
+
+    ?line decode(-42,<<131,110,1,1,42>>),
+    ?line decode(-42,<<131,110,2,1,42,0>>),	% Redundant zeros from now on
+    ?line decode(-42,<<131,110,3,1,42,0,0>>),
+    ?line decode(-42,<<131,110,4,1,42,0,0,0>>),
+    ?line decode(-42,<<131,110,5,1,42,0,0,0,0>>),
+    ?line decode(-42,<<131,110,6,1,42,0,0,0,0,0>>),
+    ?line decode(-42,<<131,110,7,1,42,0,0,0,0,0,0>>),
+    ?line decode(-42,<<131,110,8,1,42,0,0,0,0,0,0,0>>),
+    ok.
+
+decode_large_big_ext_neg(Config) when is_list(Config) ->
+    ?line decode(-1,<<131,111,1:32,1,1>>),	% INTEGER_EXT
+    ?line decode(-16#08000000,<<131,111,4:32,1,0,0,0,8>>), % INTEGER_EXT
+    ?line decode(-16#80000000,<<131,111,4:32,1,0,0,0,128>>), % SMALL_BIG_EXT
+
+    ?line decode(-42,<<131,111,1:32,1,42>>),
+    ?line decode(-42,<<131,111,2:32,1,42,0>>), % Redundant zeros from now on
+    ?line decode(-42,<<131,111,3:32,1,42,0,0>>),
+    ?line decode(-42,<<131,111,4:32,1,42,0,0,0>>),
+    ?line decode(-42,<<131,111,5:32,1,42,0,0,0,0>>),
+    ?line decode(-42,<<131,111,6:32,1,42,0,0,0,0,0>>),
+    ?line decode(-42,<<131,111,7:32,1,42,0,0,0,0,0,0>>),
+    ?line decode(-42,<<131,111,8:32,1,42,0,0,0,0,0,0,0>>),
+    ok.
+
+decode_pos_neg_zero(Config) when is_list(Config) ->
+    ?line decode( 0, <<131,110,0,0>>),		% SMALL_BIG_EXT (positive zero)
+    ?line decode( 0, <<131,110,1,0,0>>),	% SMALL_BIG_EXT (positive zero)
+    ?line decode( 0, <<131,110,0,1>>),		% SMALL_BIG_EXT (negative zero)
+    ?line decode( 0, <<131,110,1,1,0>>),	% SMALL_BIG_EXT (negative zero)
+
+    ?line decode( 0, <<131,111,0:32,0>>),	% SMALL_BIG_EXT (positive zero)
+    ?line decode( 0, <<131,111,1:32,0,0>>),	% SMALL_BIG_EXT (positive zero)
+    ?line decode( 0, <<131,111,0:32,1>>),	% SMALL_BIG_EXT (negative zero)
+    ?line decode( 0, <<131,111,1:32,1,0>>),	% SMALL_BIG_EXT (negative zero)
+
+    N = largest_small_big(),
+    ?line decode( N,<<131,110,255,0,N:2040/little>>), % largest SMALL_BIG_EXT
+    ?line decode(-N,<<131,110,255,1,N:2040/little>>), % largest SMALL_BIG_EXT
+
+    ok.
+
+%% Test to decode uncompleted encodings for all in "erl_ext_dist.txt"
+
+decode_too_small(Config) when is_list(Config) ->
+    ?line decode_badarg(<<131, 97>>),
+    ?line decode_badarg(<<131, 98>>),
+    ?line decode_badarg(<<131, 98, 0>>),
+    ?line decode_badarg(<<131, 98, 0, 0>>),
+    ?line decode_badarg(<<131, 98, 0, 0, 0>>),
+    ?line decode_badarg(<<131, 99>>),
+    ?line decode_badarg(<<131, 99, 0>>),
+    ?line decode_badarg(<<131, 99, 0:240>>),
+
+    ?line decode_badarg(<<131,100>>),
+    ?line decode_badarg(<<131,100, 1:16/big>>),
+    ?line decode_badarg(<<131,100, 2:16/big>>),
+    ?line decode_badarg(<<131,100, 2:16/big, "A">>),
+
+    % FIXME node name "A" seem ok, should it be?
+%    ?line decode_badarg(<<131,101,100,1:16/big,"A",42:32/big,0>>),
+
+    ?line decode_badarg(<<131,101>>),
+    ?line decode_badarg(<<131,101,106>>),
+    ?line decode_badarg(<<131,101,255>>),
+    ?line decode_badarg(<<131,101,106,42:8/big>>),
+    ?line decode_badarg(<<131,101,106,42:16/big>>),
+    ?line decode_badarg(<<131,101,255,42:24/big>>),
+    ?line decode_badarg(<<131,101,255,42:32/big,0>>),
+    ?line decode_badarg(<<131,101,100,1:16/big,"A">>),
+    ?line decode_badarg(<<131,101,100,1:16/big,"A",42:32/big>>),
+
+    ?line decode_badarg(<<131,102>>),
+    ?line decode_badarg(<<131,102,106,42:32/big,0>>),
+    ?line decode_badarg(<<131,102,255,42:32/big,0>>),
+    ?line decode_badarg(<<131,102,100,1:16/big,"A">>),
+    ?line decode_badarg(<<131,102,100,1:16/big,"A",42:32/big>>),
+
+    ?line decode_badarg(<<131,103>>),
+    ?line decode_badarg(<<131,103,106,42:32/big,0>>),
+    ?line decode_badarg(<<131,103,255,42:32/big,0>>),
+    ?line decode_badarg(<<131,103,100,1:16/big,"A">>),
+    ?line decode_badarg(<<131,103,100,1:16/big,"A",42:32/big>>),
+    ?line decode_badarg(<<131,103,100,1:16/big,"A",4:32/big,2:32/big>>),
+
+    ?line decode_badarg(<<131,104>>),
+    ?line decode_badarg(<<131,104, 1>>),
+    ?line decode_badarg(<<131,104, 2, 106>>),
+    ?line decode_badarg(<<131,105, 1:32/big>>),
+    ?line decode_badarg(<<131,105, 2:32/big, 106>>),
+
+    ?line decode_badarg(<<131,107>>),
+    ?line decode_badarg(<<131,107, 1:16/big>>),
+    ?line decode_badarg(<<131,107, 2:16/big>>),
+    ?line decode_badarg(<<131,107, 2:16/big, "A">>),
+
+    ?line decode_badarg(<<131,108>>),
+    ?line decode_badarg(<<131,108, 1:32/big>>),
+    ?line decode_badarg(<<131,108, 2:32/big>>),
+    ?line decode_badarg(<<131,108, 2:32/big, 106>>), % FIXME don't use NIL
+
+    ?line decode_badarg(<<131,109>>),
+    ?line decode_badarg(<<131,109, 1:32/big>>),
+    ?line decode_badarg(<<131,109, 2:32/big>>),
+    ?line decode_badarg(<<131,109, 2:32/big, 42>>),
+
+    N = largest_small_big(),
+
+    ?line decode_badarg(<<131,110>>),
+    ?line decode_badarg(<<131,110,1>>),
+    ?line decode_badarg(<<131,110,1,0>>),
+    ?line decode_badarg(<<131,110,1,1>>),
+    ?line decode_badarg(<<131,110,2,0,42>>),
+    ?line decode_badarg(<<131,110,2,1,42>>),
+    ?line decode_badarg(<<131,110,255,0,N:2032/little>>),
+    ?line decode_badarg(<<131,110,255,1,N:2032/little>>),
+
+    ?line decode_badarg(<<131,111>>),
+    ?line decode_badarg(<<131,111,  1:32/big>>),
+    ?line decode_badarg(<<131,111,  1:32/big,0>>),
+    ?line decode_badarg(<<131,111,  1:32/big,1>>),
+    ?line decode_badarg(<<131,111,  2:32/big,0,42>>),
+    ?line decode_badarg(<<131,111,  2:32/big,1,42>>),
+    ?line decode_badarg(<<131,111,256:32/big,0,N:2032/little>>),
+    ?line decode_badarg(<<131,111,256:32/big,1,N:2032/little>>),
+    ?line decode_badarg(<<131,111,256:32/big,0,N:2040/little>>),
+    ?line decode_badarg(<<131,111,256:32/big,1,N:2040/little>>),
+    ?line decode_badarg(<<131,111,257:32/big,0,N:2048/little>>),
+    ?line decode_badarg(<<131,111,257:32/big,1,N:2048/little>>),
+
+    % Emulator dies if trying to create large bignum....
+%    ?line decode_badarg(<<131,111,16#ffffffff:32/big,0>>),
+%    ?line decode_badarg(<<131,111,16#ffffffff:32/big,1>>),
+
+    ?line decode_badarg(<<131, 78>>),
+    ?line decode_badarg(<<131, 78, 42>>),
+    ?line decode_badarg(<<131, 78, 42, 1>>),
+    ?line decode_badarg(<<131, 78, 42, 1:16/big>>),
+    ?line decode_badarg(<<131, 78, 42, 2:16/big>>),
+    ?line decode_badarg(<<131, 78, 42, 2:16/big, "A">>),
+
+    ?line decode_badarg(<<131, 67>>),
+
+    ?line decode_badarg(<<131,114>>),
+    ?line decode_badarg(<<131,114,0>>),
+    ?line decode_badarg(<<131,114,1:16/big>>),
+    ?line decode_badarg(<<131,114,1:16/big,100>>),
+    ?line decode_badarg(<<131,114,1:16/big,100,1:16/big>>),
+    ?line decode_badarg(<<131,114,1:16/big,100,1:16/big,"A">>),
+    ?line decode_badarg(<<131,114,1:16/big,100,1:16/big,"A",0>>),
+    ?line decode_badarg(<<131,114,1:16/big,100,1:16/big,"A",0,42:8>>),
+    ?line decode_badarg(<<131,114,1:16/big,100,1:16/big,"A",0,42:16>>),
+    ?line decode_badarg(<<131,114,1:16/big,100,1:16/big,"A",0,42:24>>),
+
+    ?line decode_badarg(<<131,117>>),		% FIXME needs more tests
+
+    ok.
+
+%% ######################################################################## %%
+
+decode_badarg(Bin) ->
+    io:format("Trying ~w\n",[Bin]),
+    {'EXIT',{badarg,_}} = (catch binary_to_term(Bin)).
+
+enc_dec(_Size, Term) ->
+    Bin = term_to_binary(Term),
+    Term = binary_to_term(Bin),
+    ok.
+
+decode(Term, Binary) ->
+    io:format("Encoding ~w to ~w ... ",[Binary,Term]),
+    NewTerm = binary_to_term(Binary),
+    io:format("got ~w\n",[NewTerm]),
+    Term = NewTerm.
+
+largest_small_big() ->
+    List  = lists:duplicate(255,255),
+    Limbs = list_to_binary(List),
+    binary_to_term(<<131,110,255,0,Limbs/binary>>).
+
+%% ######################################################################## %%
+
+appender(Parent, N) ->
+    seed(),
+    Res = appender_1(N, {}),
+    Parent ! {self(),Res}.
+
+appender_1(0, T) -> T;
+appender_1(N, T0) ->
+    U = rnd_term(),
+    T = erlang:append_element(T0, U),
+    appender_1(N-1, T).
+
+my_appender(N) ->
+    seed(),
+    my_appender_1(N, []).
+
+my_appender_1(0, T) ->
+    list_to_tuple(lists:reverse(T));
+my_appender_1(N, T0) ->
+    U = rnd_term(),
+    T = [U|T0],
+    my_appender_1(N-1, T).
+    
+seed() ->
+    random:seed(3172, 9815, 20129).
+
+rnd_term() ->
+    U0 = random:uniform(),
+    B = <<U0/float>>,
+    {U0,U0 * 2.5 + 3.14,[U0*2.3,B]}.
+