UberEngine(the default SimEngine), copy its declaration, and remove all the base classes which provide features you don't need.
angr.options.unicornto your state.
angr.optionsare individual options,
angr.options.unicornis a bundle of options, and is thus a set.
angr.options.FAST_REGISTERSwill do this.
entry_stateor the like, you can create a SimFile filled with symbolic data, pass it to the initialization function as an argument
entry_state(..., stdin=my_simfile), and then constrain the symbolic data in the SimFile to what you want the input to be.
UNICORN_THRESHOLD_CONCRETIZATIONstate option, angr will accept thresholds after which it causes symbolic values to be concretized so that execution can spend more time in Unicorn. Specifically, the following thresholds exist:
state.unicorn.concretization_threshold_memory- this is the number of times a symbolic variable, stored in memory, is allowed to kick execution out of Unicorn before it is forcefully concretized and forced into Unicorn anyways.
state.unicorn.concretization_threshold_registers- this is the number of times a symbolic variable, stored in a register, is allowed to kick execution out of Unicorn before it is forcefully concretized and forced into Unicorn anyways.
state.unicorn.concretization_threshold_instruction- this is the number of times that any given instruction can force execution out of Unicorn (by running into symbolic data) before any symbolic data encountered at that instruction is concretized to force execution into Unicorn.
state.unicorn.always_concretize- a set of variable names that will always be concretized to force execution into unicorn (in fact, the memory and register thresholds just end up causing variables to be added to this list).
state.unicorn.never_concretize- a set of variable names that will never be concretized and forced into Unicorn under any condition.
state.unicorn.concretize_at- a set of instruction addresses at which data should be concretized and forced into Unicorn. The instruction threshold causes addresses to be added to this set.