public void Setup()
{
this.sc = new ServiceContainer();
sc.AddService<IFileSystemService>(new FileSystemServiceImpl());
this.arch = new X86ArchitectureReal();
this.platform = new MsdosPlatform(sc, arch);
ArgumentSerializer argSer = new ArgumentSerializer(arch);
svc = new SerializedService
{
Name = "msdos_ioctl_get_device_info",
SyscallInfo = new SerializedSyscallInfo
{
Vector = "21",
RegisterValues = new[] {
new SerializedRegValue("ah", "44"),
new SerializedRegValue("al", "00"),
}
},
Signature = new SerializedSignature
{
ReturnValue = argSer.Serialize(
new Identifier("C", PrimitiveType.Bool,
new FlagGroupStorage(Registers.eflags, (uint)FlagM.CF, "C", PrimitiveType.Byte)))
}
};
}
public override ProcedureSignature Deserialize(SerializedSignature ss, Frame frame)
{
if (ss == null)
return null;
var argser = new ArgumentSerializer(this, Architecture, frame, ss.Convention);
Identifier ret = null;
if (ss.ReturnValue != null)
{
ret = argser.DeserializeReturnValue(ss.ReturnValue);
}
var args = new List<Identifier>();
if (ss.Arguments != null)
{
for (int iArg = 0; iArg < ss.Arguments.Length; ++iArg)
{
var sArg = ss.Arguments[iArg];
Identifier arg = argser.Deserialize(sArg);
args.Add(arg);
}
}
var sig = new ProcedureSignature(ret, args.ToArray());
return sig;
}
public override ProcedureSignature Deserialize(SerializedSignature ss, Frame frame)
{
if (ss == null)
return null;
this.argser = new ArgumentSerializer(this, Architecture, frame, ss.Convention);
Identifier ret = null;
int fpuDelta = FpuStackOffset;
FpuStackOffset = 0;
if (ss.ReturnValue != null)
{
ret = argser.DeserializeReturnValue(ss.ReturnValue);
fpuDelta += FpuStackOffset;
}
FpuStackOffset = 0;
var args = new List<Identifier>();
if (ss.Arguments != null)
{
for (int iArg = 0; iArg < ss.Arguments.Length; ++iArg)
{
var sArg = ss.Arguments[iArg];
var arg = DeserializeArgument(sArg, iArg, ss.Convention);
args.Add(arg);
}
fpuDelta -= FpuStackOffset;
}
FpuStackOffset = fpuDelta;
var sig = new ProcedureSignature(ret, args.ToArray());
ApplyConvention(ss, sig);
return sig;
}
private Identifier DeserializeArgument(ArgumentSerializer argser, Argument_v1 sArg)
{
Identifier arg;
if (sArg.Kind != null)
return sArg.Kind.Accept(argser);
var dtArg = sArg.Type.Accept(TypeLoader);
var prim = dtArg as PrimitiveType;
//if (prim != null && prim.Domain == Domain.Real)
//{
// if (this.fr > 8)
// {
// arg = argser.Deserialize(sArg, new StackVariable_v1());
// }
// else
// {
// arg = argser.Deserialize(sArg, new Register_v1("f" + this.fr));
// ++this.fr;
// }
// return arg;
//}
if (dtArg.Size <= 4)
{
if (this.gr > 3)
{
arg = argser.Deserialize(sArg, new StackVariable_v1());
}
else
{
arg = argser.Deserialize(sArg, new Register_v1("r" + gr));
++this.gr;
}
return arg;
}
if (dtArg.Size <= 8)
{
if (this.gr > 9)
{
arg = argser.Deserialize(sArg, new StackVariable_v1());
}
else
{
if ((gr & 1) == 0)
++gr;
arg = argser.Deserialize(sArg, new SerializedSequence
{
Registers = new Register_v1[] {
new Register_v1("r" + gr),
new Register_v1("r" + (gr+1))
}
});
gr += 2;
}
return arg;
}
throw new NotImplementedException();
}
public void Setup()
{
var sc = new ServiceContainer();
sc.AddService<IFileSystemService>(new FileSystemServiceImpl());
arch = new IntelArchitecture(ProcessorMode.Real);
platform = new MsdosPlatform(sc, arch);
sigser = new X86ProcedureSerializer(
arch,
new TypeLibraryDeserializer(platform, true, new TypeLibrary()),
"stdapi");
argser = new ArgumentSerializer(sigser, arch, arch.CreateFrame(), null);
}
public void Setup()
{
svc = new SerializedService();
svc.Name = "msdos_ioctl_get_device_info";
svc.SyscallInfo = new SerializedSyscallInfo();
svc.SyscallInfo.Vector = "21";
svc.SyscallInfo.RegisterValues = new SerializedRegValue[2];
svc.SyscallInfo.RegisterValues[0] = new SerializedRegValue("ah", "44");
svc.SyscallInfo.RegisterValues[1] = new SerializedRegValue("al", "00");
svc.Signature = new SerializedSignature();
ArgumentSerializer argSer = new ArgumentSerializer(null, arch, null, null);
svc.Signature.ReturnValue = argSer.Serialize(new Identifier("C", PrimitiveType.Bool,
new FlagGroupStorage((uint) FlagM.CF, "C", PrimitiveType.Byte)));
}
public SerializedSignature Serialize(ProcedureSignature sig)
{
SerializedSignature ssig = new SerializedSignature();
if (!sig.ParametersValid)
return ssig;
ArgumentSerializer argSer = new ArgumentSerializer(this, Architecture, null, null);
ssig.ReturnValue = argSer.Serialize(sig.ReturnValue);
ssig.Arguments = new Argument_v1[sig.Parameters.Length];
for (int i = 0; i < sig.Parameters.Length; ++i)
{
Identifier formal = sig.Parameters[i];
ssig.Arguments[i] = argSer.Serialize(formal);
}
ssig.StackDelta = sig.StackDelta;
ssig.FpuStackDelta = sig.FpuStackDelta;
return ssig;
}
public virtual SerializedSignature Serialize(ProcedureSignature sig)
{
SerializedSignature ssig = new SerializedSignature();
if (!sig.ParametersValid)
{
return(ssig);
}
ArgumentSerializer argSer = new ArgumentSerializer(this, Architecture, null, 0);
ssig.ReturnValue = argSer.Serialize(sig.ReturnValue);
ssig.Arguments = new Argument_v1[sig.Parameters.Length];
for (int i = 0; i < sig.Parameters.Length; ++i)
{
Identifier formal = sig.Parameters[i];
ssig.Arguments[i] = argSer.Serialize(formal);
}
ssig.StackDelta = sig.StackDelta;
ssig.FpuStackDelta = sig.FpuStackDelta;
return(ssig);
}
public SerializedSignature Serialize(FunctionType sig)
{
SerializedSignature ssig = new SerializedSignature();
if (!sig.ParametersValid)
{
ssig.ParametersValid = false;
return(ssig);
}
ArgumentSerializer argSer = new ArgumentSerializer(Architecture);
ssig.ReturnValue = argSer.Serialize(sig.ReturnValue);
ssig.Arguments = new Argument_v1[sig.Parameters.Length];
for (int i = 0; i < sig.Parameters.Length; ++i)
{
Identifier formal = sig.Parameters[i];
ssig.Arguments[i] = argSer.Serialize(formal);
}
ssig.StackDelta = sig.StackDelta;
ssig.FpuStackDelta = sig.FpuStackDelta;
return(ssig);
}
public override Identifier Accept(ArgumentSerializer sser)
{
return(sser.Deserialize(this));
}
public abstract Identifier Accept(ArgumentSerializer sser);
public override Identifier Accept(ArgumentSerializer sser)
{
return sser.Deserialize(this);
}
public void Setup()
{
argser = new ArgumentSerializer(null);
}
public void Setup()
{
arch = new IntelArchitecture(ProcessorMode.Real);
sigser = new X86ProcedureSerializer(arch, new TypeLibraryLoader(arch, true), "stdapi");
argser = new ArgumentSerializer(sigser, arch, arch.CreateFrame(), null);
}
public abstract Identifier Accept(ArgumentSerializer sser);
