From c69947da87a5f8b1f1ec6020b2623ce4614c5217 Mon Sep 17 00:00:00 2001 From: Stavros Aronis Date: Mon, 21 Mar 2011 18:37:32 +0200 Subject: Add small/tuple_set_crash --- .../test/small_SUITE_data/results/tuple_set_crash | 15 ++ .../test/small_SUITE_data/src/tuple_set_crash.erl | 207 +++++++++++++++++++++ 2 files changed, 222 insertions(+) create mode 100644 lib/dialyzer/test/small_SUITE_data/results/tuple_set_crash create mode 100644 lib/dialyzer/test/small_SUITE_data/src/tuple_set_crash.erl (limited to 'lib/dialyzer') diff --git a/lib/dialyzer/test/small_SUITE_data/results/tuple_set_crash b/lib/dialyzer/test/small_SUITE_data/results/tuple_set_crash new file mode 100644 index 0000000000..191d3d4173 --- /dev/null +++ b/lib/dialyzer/test/small_SUITE_data/results/tuple_set_crash @@ -0,0 +1,15 @@ + +tuple_set_crash.erl:103: Invalid type specification for function tuple_set_crash:parse_device_properties/1. The success typing is (<<_:48>>) -> [{'controller_description',binary()} | {'controller_name',binary()} | {'controller_status',byte()} | {'fw_version',<<_:24>>}] +tuple_set_crash.erl:123: Invalid type specification for function tuple_set_crash:parse_video_target_info/1. The success typing is (<<_:48>>) -> [{'status',byte()} | {'target_id',non_neg_integer()},...] +tuple_set_crash.erl:127: Invalid type specification for function tuple_set_crash:parse_audio_target_info/1. The success typing is (<<_:48>>) -> [{'master_volume',char()} | {'status',byte()} | {'target_id',non_neg_integer()},...] +tuple_set_crash.erl:138: Invalid type specification for function tuple_set_crash:parse_av_device_info/1. The success typing is (<<_:48>>) -> [{'address',byte()} | {'device_id',non_neg_integer()} | {'model',binary()} | {'status',byte()},...] +tuple_set_crash.erl:143: The pattern <> can never match the type <<_:8>> +tuple_set_crash.erl:155: Invalid type specification for function tuple_set_crash:parse_video_output_info/1. The success typing is (<<_:48>>) -> [{'audio_volume',char()} | {'display_type',binary()} | {'output_id',non_neg_integer()},...] +tuple_set_crash.erl:160: The pattern <> can never match the type <<_:8>> +tuple_set_crash.erl:171: Invalid type specification for function tuple_set_crash:parse_audio_output_info/1. The success typing is (<<_:48>>) -> [{'output_id',non_neg_integer()},...] +tuple_set_crash.erl:176: The pattern <> can never match the type <<_:8>> +tuple_set_crash.erl:179: The pattern <> can never match the type <<_:8>> +tuple_set_crash.erl:182: The pattern <> can never match the type <<_:8>> +tuple_set_crash.erl:62: The pattern {'play_list', _Playlist} can never match the type 'ok' | {'device_properties',[{atom(),_}]} | {'error',[{atom(),_}]} +tuple_set_crash.erl:64: The pattern {'error', 17} can never match the type 'ok' | {'device_properties',[{atom(),_}]} | {'error',[{atom(),_}]} +tuple_set_crash.erl:83: The specification for tuple_set_crash:parse_message/1 states that the function might also return {'media_item_url_reply',integer(),binary()} but the inferred return is 'ok' | {'audio_device_info' | 'audio_output_info' | 'audio_target_info' | 'device_properties' | 'error' | 'video_device_info' | 'video_output_info' | 'video_target_info',[{'address' | 'audio_volume' | 'controller_description' | 'controller_name' | 'controller_status' | 'device_id' | 'display_type' | 'fw_version' | 'master_volume' | 'model' | 'output_id' | 'status' | 'target_id',binary() | non_neg_integer()}] | 1..255} diff --git a/lib/dialyzer/test/small_SUITE_data/src/tuple_set_crash.erl b/lib/dialyzer/test/small_SUITE_data/src/tuple_set_crash.erl new file mode 100644 index 0000000000..5503f39412 --- /dev/null +++ b/lib/dialyzer/test/small_SUITE_data/src/tuple_set_crash.erl @@ -0,0 +1,207 @@ +%% ==================================================================== +%% Program which resulted in an erl_types crash due to incomplete +%% handling of tuple_sets in function inf_tuples_in_sets/4. +%% Reported by Alexey Romanov on 10/10/2010 and fixed 16/10/2010. +%% Stavros Aronis provided a better fix of the issue on 8/11/2010. +%% ==================================================================== + +-module(tuple_set_crash). +-export([test/5]). + +%% ==================================================================== + +-define(PREPEND_IF_BIT_SET(BitMap, Bit, + PatternInBinary, PatternInList, + OldRestVar, NewRestVar, + OldAccVar, NewAccVar), + case byteset:contains(Bit, BitMap) of + true -> + <> = OldRestVar, + NewAccVar = [PatternInList | OldAccVar]; + false -> + NewRestVar = OldRestVar, + NewAccVar = OldAccVar + end). + +%% ==================================================================== + +%% Types used in parsing binaries +-define(BITMAP1, 8/integer-big-unsigned). +-define(BYTE, 8/integer-little-unsigned). +-define(WORD, 16/integer-little-unsigned). +-define(DWORD, 32/integer-little-unsigned). +-define(DATE, 16/integer-little-signed). +-define(TIME, 32/float-little-unsigned). +-define(TINY_STRING_M(Var, Size), Size:?BYTE, Var:Size/binary). +-define(SMALL_STRING_M(Var, Size), Size:?WORD, Var:Size/binary). + +-type config_change() :: + {device_properties | + video_target | + audio_target | + video_device | + audio_device | + video_output | + audio_output, [{atom(), any()}]}. + +-type message_from_server() :: + ok | + {error, atom()} | + config_change() | + {media_item_url_reply, integer(), binary()}. + +%% ==================================================================== + +-spec test(integer(), [integer()], binary(), binary(), binary()) -> {binary(), binary()}. +test(_TargetId, [], _Key, IVT, IVF) -> + {IVT, IVF}; +test(TargetId, [Date | DateTail], Key, IVT, IVF) -> + PlayListRequest = play_list_request(TargetId, Date), + {ok, Reply, IVT1, IVF1} = culprit(PlayListRequest, Key, IVT, IVF), + case Reply of + {play_list, _Playlist} -> + test(TargetId, DateTail, Key, IVT1, IVF1); + {error, 16#11} -> + {IVT1, IVF1} %% we can finish early + end. + +-spec culprit(binary(), binary(), binary(), binary()) -> + {ok, message_from_server(), binary(), binary()}. +culprit(Message, Key, IVecToServer, IVecFromServer) -> + {Packet, NewIVecToServer} = message_to_packet(Message, Key, IVecToServer), + Message = crypto:aes_cbc_128_decrypt(Key, IVecFromServer, Packet), + NewIVecFromServer = crypto:aes_cbc_ivec(Packet), + ParsedMessage = parse_message(Message), + {ok, ParsedMessage, NewIVecToServer, NewIVecFromServer}. + +%% ==================================================================== + +-spec play_list_request(integer(), integer()) -> binary(). +play_list_request(TargetId, Date) -> + <<16#06:?WORD, TargetId:?DWORD, Date:?DATE>>. + +-spec parse_message(binary()) -> message_from_server(). +parse_message(<>) -> + case MessageID of + 16#00 -> parse_error_code(Rest); + 16#22 -> {device_properties, parse_device_properties(Rest)}; + 16#24 -> {video_target_info, parse_video_target_info(Rest)}; + 16#25 -> {audio_target_info, parse_audio_target_info(Rest)}; + 16#26 -> {video_device_info, parse_av_device_info(Rest)}; + 16#27 -> {audio_device_info, parse_av_device_info(Rest)}; + 16#28 -> {video_output_info, parse_video_output_info(Rest)}; + 16#29 -> {audio_output_info, parse_audio_output_info(Rest)} + end. + +-spec parse_error_code(binary()) -> ok | {error, integer()}. +parse_error_code(<>) -> + case ErrorCode of + 0 -> ok; + _ -> {error, ErrorCode} + end. + +-spec parse_device_properties(binary()) -> config_change(). +parse_device_properties(<>) -> + Acc0 = [], + ?PREPEND_IF_BIT_SET(BitMap, 0, + FwVersion:3/binary, {fw_version, FwVersion}, + Rest, Rest1, Acc0, Acc1), + ?PREPEND_IF_BIT_SET(BitMap, 1, + ?TINY_STRING_M(ControllerName, _S1), + {controller_name, ControllerName}, + Rest1, Rest2, Acc1, Acc2), + ?PREPEND_IF_BIT_SET(BitMap, 2, + ?SMALL_STRING_M(ControllerDescription, _S2), + {controller_description, ControllerDescription}, + Rest2, Rest3, Acc2, Acc3), + ?PREPEND_IF_BIT_SET(BitMap, 3, + ControllerStatus:?BYTE, + {controller_status, ControllerStatus}, + Rest3, _Padding, Acc3, Acc4), + Acc4. + +-spec parse_video_target_info(binary()) -> config_change(). +parse_video_target_info(<>) -> + [{target_id, TargetId}, {status, Status}]. + +-spec parse_audio_target_info(binary()) -> [config_change()]. +parse_audio_target_info(<>) -> + Acc0 = [{target_id, TargetId}], + ?PREPEND_IF_BIT_SET(BitMap, 0, + Status:?BYTE, {status, Status}, + Rest, Rest1, Acc0, Acc1), + ?PREPEND_IF_BIT_SET(BitMap, 1, + MasterVolume:?WORD, {master_volume, MasterVolume}, + Rest1, _Padding, Acc1, Acc2), + Acc2. + +-spec parse_av_device_info(binary()) -> [config_change()]. +parse_av_device_info(<>) -> + Acc0 = [{device_id, DeviceId}], + ?PREPEND_IF_BIT_SET(BitMap, 0, + TargetId:?DWORD, {target_id, TargetId}, + Rest, Rest1, Acc0, Acc1), + ?PREPEND_IF_BIT_SET(BitMap, 1, + ?TINY_STRING_M(Model, _S1), {model, Model}, + Rest1, Rest2, Acc1, Acc2), + ?PREPEND_IF_BIT_SET(BitMap, 2, + Address:?BYTE, {address, Address}, + Rest2, Rest3, Acc2, Acc3), + ?PREPEND_IF_BIT_SET(BitMap, 3, + Status:?BYTE, {status, Status}, + Rest3, _Padding, Acc3, Acc4), + Acc4. + +-spec parse_video_output_info(binary()) -> [config_change()]. +parse_video_output_info(<>) -> + Acc0 = [{output_id, Output}], + ?PREPEND_IF_BIT_SET(BitMap, 0, + DeviceId:?DWORD, {device_id, DeviceId}, + Rest, Rest1, Acc0, Acc1), + ?PREPEND_IF_BIT_SET(BitMap, 1, + ?TINY_STRING_M(DisplayType, _S1), + {display_type, DisplayType}, + Rest1, Rest2, Acc1, Acc2), + ?PREPEND_IF_BIT_SET(BitMap, 2, + AudioVolume:?WORD, + {audio_volume, AudioVolume}, + Rest2, _Padding, Acc2, Acc3), + Acc3. + +-spec parse_audio_output_info(binary()) -> [config_change()]. +parse_audio_output_info(<>) -> + Acc0 = [{output_id, Output}], + ?PREPEND_IF_BIT_SET(BitMap, 0, + DeviceId:?DWORD, {device_id, DeviceId}, + Rest, Rest1, Acc0, Acc1), + ?PREPEND_IF_BIT_SET(BitMap, 1, + AudioVolume:?WORD, {audio_volume, AudioVolume}, + Rest1, Rest2, Acc1, Acc2), + ?PREPEND_IF_BIT_SET(BitMap, 2, + Delay:?WORD, {delay, Delay}, + Rest2, _Padding, Acc2, Acc3), + Acc3. + +-spec message_to_packet(binary(), binary(), binary()) -> {binary(), binary()}. +message_to_packet(Message, Key, IVec) -> + PaddedMessage = pad_pkcs5(Message), + Packet = crypto:aes_cbc_128_encrypt(Key, IVec, PaddedMessage), + TotalSize = byte_size(Packet), + NewIVec = crypto:aes_cbc_ivec(Packet), + {<>, NewIVec}. + +-spec pad_pkcs5(binary()) -> binary(). +pad_pkcs5(Message) -> + Size = byte_size(Message), + PaddingSize = case Size rem 16 of + 0 -> 0; + Rem -> 16 - Rem + end, + pad_pkcs5(Message, PaddingSize, PaddingSize). + +-spec pad_pkcs5(binary(), integer(), integer()) -> binary(). +pad_pkcs5(Message, _PaddingSize, 0) -> + Message; +pad_pkcs5(Message, PaddingSize, PaddingSizeRemaining) -> + pad_pkcs5(<>, + PaddingSize, PaddingSizeRemaining - 1). -- cgit v1.2.3