From 84adefa331c4159d432d22840663c38f155cd4c1 Mon Sep 17 00:00:00 2001 From: Erlang/OTP Date: Fri, 20 Nov 2009 14:54:40 +0000 Subject: The R13B03 release. --- erts/emulator/test/evil_SUITE.erl | 377 ++++++++++++++++++++++++++++++++++++++ 1 file changed, 377 insertions(+) create mode 100644 erts/emulator/test/evil_SUITE.erl (limited to 'erts/emulator/test/evil_SUITE.erl') 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,U0 * 2.5 + 3.14,[U0*2.3,B]}. + -- cgit v1.2.3