summaryrefslogtreecommitdiff
path: root/lib/dialyzer/test/race_SUITE_data/src/ets_insert_control_flow4.erl
blob: caa38046145a52dc49947289c0a374e46c1b4eba (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
%% This tests the presence of possible races due to an ets:lookup/ets:insert
%% combination. It takes into account control flow that might exist.

-module(ets_insert_control_flow4).
-export([start/1]).

start(User) ->
  Table = ets:new(table, [public]),
  mod:process(Table),
  [{_, N}] =
    case User of
      root -> ets:lookup(Table, pass);
      user -> ets:lookup(Table, pass);
      _Other -> [{undefined, -1}]
    end,
  case N of
    -1 -> io:format("\nUnknown User\n", []);
    0 ->
      case User of
        root ->
          ets:insert(Table, {pass, Pass = generate_password(N) ++ generate_password(N+1)});
        user ->
          ets:insert(Table, {pass, Pass = generate_password(N)})
      end,
      io:format("\nYour new pass is ~w\n", [Pass]);
    P ->
      io:format("\nYour pass is ~w\n", [P])
  end.

generate_password(N) ->
  lists:map(fun (_) -> random:uniform(90)+$\s+1 end, lists:seq(1,N)).