3 Commits

Author	SHA1	Message	Date
Albert van der Linde	6f4580264a	prog/alloc: align address allocation for aligned[addr] ... Calls to alloc didn't respect the alignment attribute. Now Type.Alignment() is used to ensure each type is correctly aligned. Existing descriptions with [align[X]] don't have an issue as they align to small blocks and default align is to 64 bytes. This commits adds support for [align[X]] for an X larger than 64.	2020-07-14 12:20:37 +02:00
Dmitry Vyukov	f5d67fbd9c	.gometalinter.json: enable gofmt ... The part that we want from gofmt is simplify (-s). Fix all code that needs fixing. Update #538	2018-07-31 12:16:54 +02:00
Dmitry Vyukov	75a7c5e2d1	prog: rework address allocation ... 1. mmap all memory always, without explicit mmap calls in the program. This makes lots of things much easier and removes lots of code. Makes mmap not a special syscall and allows to fuzz without mmap enabled. 2. Change address assignment algorithm. Current algorithm allocates unmapped addresses too frequently and allows collisions between arguments of a single syscall. The new algorithm analyzes actual allocations in the program and places new arguments at unused locations.	2018-02-19 21:48:20 +01:00