Washi1337 / Echo

Generic static analysis framework.

https://docs.washi.dev/echo

Washi1337/Echo Issues

CIL emulator opcode support status (AsmResolver)
Updated 2 months ago
Generate documentation automatically from XMLDOC.
Closed 4 months ago1
ast: broken phi in loops
Closed 6 months ago
Marshalling enum types result in Structure type hint being pushed
Closed a year ago1
CFG breaks when see CilOpCodes.Jmp
Closed a year ago
Stack overflow when emulating code which uses generic parameters
Updated a year ago
Low level emulation of floating point values and arithmetic
Updated a year ago
(AsmResolver) CilVirtualMachine to use MemoryLayoutAttributes instead of Is32Bit
Closed a year ago4
CilVirtualMachine modification of CurrentState
Closed a year ago2
Setup GitHub Actions artifact packaging
Updated 2 years ago3
Adding OpCodes Handlers From User Code.
Closed 3 years ago2
Provide a way to obtain the incoming stack height of a given `ControlFlowNode`
Updated 3 years ago2
`ControlFlowNode::SplitAtIndex` doesn't set the newly created node's `ParentRegion`
Closed 3 years ago
Dominator tree ignores exception handler regions
Closed 3 years ago
Change CilProgramState's stack elements to ICliValue
Closed 3 years ago
NRE when HandlerEnd is null
Closed 3 years ago1
CallBase.InvokeAndGetResult returns an unknown value for void methods
Closed 4 years ago
Make BranchHandler.VerifyCondition public and pure
Closed 4 years ago
Add read-only indexer for StackState
Closed 4 years ago
Support for emulating a subset of instructions in a method body
Closed 4 years ago2
IDotNetObjectValue.IsKnown should return false if at least one field contains an unknown bit.
Closed 4 years ago
Division emulation infinite loop
Closed 4 years ago
Add GetFirstBlock and GetLastBlock to IBlock
Closed 4 years ago
Filtered exception handlers
Closed 4 years ago1
Refactor IUnknownValueFactory to IValueFactory and use it throughout the entire library
Closed 4 years ago
CallVirt devirtualize method fails if pushed object instance is unknown
Closed 4 years ago
MethodInvoker should be called with arguments marshalled
Closed 4 years ago
Add enum value support in CLI marshaller
Closed 4 years ago
Read/Write static fields using ldfld/stfld (Undocumented feature)
Closed 4 years ago
BlockBuilder does not take implicit fallthrough edges into account
Closed 4 years ago
Create framework for optimizing instructions
Updated 4 years ago
Feature: Create a pipeline for Ast translations/transformers
Updated 4 years ago1
Split basic blocks based on exception handler try regions
Closed 4 years ago2
Unit tests that depend on the compiler emitting specific code could fail in case the compiler is updated
Closed 4 years ago5
Support for adding newly discovered block headers without introducing an edge
Closed 4 years ago
An exception object in form of an external data source is incorrectly pushed onto the stack in the state resolvers in case of a fault handler
Closed 4 years ago
Multiplication test of IntegerNValue fails once in a blue moon
Closed 4 years ago
Add alternative to GetOrderedDependencies that finds all possible expressions
Updated 4 years ago1
Abstract Syntax Tree pattern matching
Closed 4 years ago
Abstract Syntax Tree construction from control and data flow graph
Closed 4 years ago
Add possibility to exclude variable dependencies in GetOrderedDependencies
Closed 4 years ago
Improve the BlockWalker's API
Closed 4 years ago
Add custom formatting for individual instructions in ControlFlowNodeAdorner
Closed 4 years ago
Reduce allocations of small arrays in the architecture, successor and state transition resolver interfaces
Closed 4 years ago
dnlib platform
Closed 4 years ago
Add purity classification for instructions
Closed 4 years ago
Move away from bool? and introduce a ternary boolean data type
Closed 4 years ago
Signed comparisons for integers.
Closed 4 years ago
Static x86 control flow graph inserts bad instruction
Closed 4 years ago3
ArgumentOutOfRangeException on ldarg.0 in instance method
Closed 4 years ago