Ada - 空文件

Question

我正在用 Ada 语言编写一个程序，该程序创建一个 WEP 密钥字典以用于渗透测试。这是代码：

with Ada.Text_IO, Ada.Integer_Text_IO;
use Ada.Text_IO, Ada.Integer_Text_IO;

procedure CreateWepDict is

    type IntegerTab is array (1..29) of integer;

    -- Initializes the password
    procedure PasswdInit (Passwd : in out IntegerTab; LgPasswd : in Integer) is
    begin
        for i in 1..LgPasswd loop
            Passwd(i) := 0;
        end loop;
    end PasswdInit;

    -- Writes the current password into the dictionary file
    procedure WriteWepDict (PasswdInt : in IntegerTab; LgPasswd : in Integer) is
        PasswdDict : File_Type;
        PasswdStr  : String(1..29);
    begin
        if not Is_Open(PasswdDict) then
            open(PasswdDict,Append_File,"WepDict.txt");
        end if;
        for i in 1..LgPasswd loop
            case PasswdInt(i) is
                when 1 => PasswdStr(i) := '0';
                when 2 => PasswdStr(i) := '1';
                when 3 => PasswdStr(i) := '2';
                when 4 => PasswdStr(i) := '3';
                when 5 => PasswdStr(i) := '4';
                when 6 => PasswdStr(i) := '5';
                when 7 => PasswdStr(i) := '6';
                when 8 => PasswdStr(i) := '7';
                when 9 => PasswdStr(i) := '8';
                when 10 => PasswdStr(i) := '9';
                when 11 => PasswdStr(i) := 'A';
                when 12 => PasswdStr(i) := 'B';
                when 13 => PasswdStr(i) := 'C';
                when 14 => PasswdStr(i) := 'D';
                when 15 => PasswdStr(i) := 'E';
                when 16 => PasswdStr(i) := 'F';
                when others => pragma assert(false);
            end case;
        end loop;
        New_Line(PasswdDict);
        close(PasswdDict);
    end WriteWepDict;

    PasswdDict : File_Type;
    LgPasswd : Integer := 5;
    PassCur : Integer := 1;
    Passwd : IntegerTab;

begin
    -- Creates the dictionary file
    create(PasswdDict,Append_File,"WepDict.txt");
    PasswdInit(Passwd,LgPasswd);
    while LgPasswd <= 29 loop
        if PassCur /= LgPasswd then
            PassCur := PassCur + 1;
        else
            if Passwd(PassCur) /= 16 then
                Passwd(PassCur) := Passwd(PassCur) + 1;
            else
                Passwd(PassCur) := 1;
                if PassCur /= 1 then
                    PassCur := PassCur - 1;
                else
                    LgPasswd := LgPasswd + 1;
                    PasswdInit(Passwd,LgPasswd);
                end if;
            end if;
        end if;
        WriteWepDict(Passwd,LgPasswd);
    end loop;

end CreateWepDict;

我在 WriteWepDict 子过程的“结束情况”处出现“预期语句”错误。你能告诉我为什么吗？

编辑：我根据Brian的修改重写了程序，但是现在还有一个问题：创建的文件是空的！

Answer 1

'pragma' 不是一个实际有效的语言语句，它是一个编译器指令。相当于 C 中的#pragma（某种）。更改它以引发异常或打印错误消息，看看是否有效。

Answer 2

这可能不应该是一个答案，但它不适合发表评论：

我会用常量数组中的查找替换整个 Case...

   Lookup : constant array(1 .. 16) of Character := 
                  ('0', '1', '2', '3', '4', '5', '6', '7', 
                   '8', '9', 'A', 'B', 'C', 'D', 'E', 'F');

   PasswdStr(i) := Lookup(PasswdInt(i));

您还可以通过声明：
subtype PW_Index is natural range 1 to 29;

大大改进此代码

并始终使用它，如以下不完整的代码片段所示：
type IntegerTab is array (PW_Index) of integer;

procedure WriteWepDict (PasswdInt : in IntegerTab; LgPasswd : in PW_Index) is
    PasswdStr  : String(PW_Index);
begin

...

    LgPasswd : PW_Index := 5;
    PassCur  : PW_Index := 1;

begin
    ...
    loop
        ...
                else
                    exit when LgPasswd = PW_Index'Last;
                    LgPasswd := LgPasswd + 1;
                    PasswdInit(Passwd,LgPasswd);
                end if;
        ...
    end loop;

...你能看到沿着这些线重写如何使缓冲区溢出无处可藏吗？

如果您更改密码长度，更不用说维护的简单性......

看起来不熟悉的带有“exit when”的循环结构可以说比处理 LgPasswd 的丑陋的超出范围的值更可取，因为上面的声明会给出一个 Constraint_Error 异常...