aboutsummaryrefslogblamecommitdiff
path: root/test/unittests/unit_maybe_alloc.c
blob: e452e2f2fc22ce5e0b23ba28e44181912282abda (plain) (tree)
1
2
3
4
5
6
7
8
9
10
11



                   
                   
                                                        




                                                             

                                  
                                                               
      
 
 






                                                                       
                             




                                                      
                  


              
                                           
                        
             
                                           
                                                    
                                            
                 


             

















                                                     
 
  




                                
  
 





















                                                       
                                            
                

                     


                                            

                             
                  



                                             
                
 

                                               
                   



                                            


                                 
                  


 
                                          
                


                     



                                             


               


                                            



                               
                  
 

 
 
                                               
                
 






                                                      
                                            
                        



                                              
                



                     


                                            

                               
                                                                    

                  


                                              

                               
                                                                    

                   


                                               

                               
                                                                    





                                     
                  


 
  




                                   
  

                                 

               

                                           
                                            






                                                    
                                                             
                                                              
 

                                     
 
#include <stdarg.h>
#include <stddef.h>
#include <setjmp.h>
#include <assert.h>
#include <cmocka.h>
/* cmocka < 1.0 didn't support these features we need */
#ifndef assert_ptr_equal
#define assert_ptr_equal(a, b) \
    _assert_int_equal(cast_ptr_to_largest_integral_type(a), \
                      cast_ptr_to_largest_integral_type(b), \
                      __FILE__, __LINE__)
#define CMUnitTest UnitTest
#define cmocka_unit_test unit_test
#define cmocka_run_group_tests(t, setup, teardown) run_tests(t)
#endif


extern void mock_assert(const int result, const char* const expression,
                        const char * const file, const int line);
#undef assert
#define assert(expression) \
    mock_assert((int)(expression), #expression, __FILE__, __LINE__);
#include "alloc-inl.h"

void __wrap_exit(int status);
/* remap exit -> assert, then use cmocka's mock_assert
    (compile with `--wrap=exit`) */
extern void exit(int status);
extern void __real_exit(int status);
void __wrap_exit(int status) {
    (void) status;
    assert(0);
}

int __wrap_printf(const char *format, ...);
/* ignore all printfs */
#undef printf
extern int printf(const char *format, ...);
//extern int __real_printf(const char *format, ...);
int __wrap_printf(const char *format, ...) {
    (void)format;
    return 1;
}

#define VOID_BUF (void **)&buf

static void *create_fake_maybe_grow_of(size_t size) {

    size += AFL_ALLOC_SIZE_OFFSET;

    // fake a realloc buf
    
    struct afl_alloc_buf *buf = malloc(size);
    if (!buf) {
        perror("Could not allocate fake buf");
        return NULL;
    }
    buf->complete_size = size; // The size
    void *actual_buf = (void *)(buf->buf);
    return actual_buf;

}

/*
static int setup(void **state) {

    return 0;

}
*/

static void test_pow2(void **state) {
    (void)state;

    assert_int_equal(next_pow2(64), 64);
    assert_int_equal(next_pow2(63), 64);
    assert_int_not_equal(next_pow2(65), 65);
    assert_int_equal(next_pow2(0x100), 0x100);
    assert_int_equal(next_pow2(0x180), 0x200);
    assert_int_equal(next_pow2(108), 0x80);
    assert_int_equal(next_pow2(0), 0);
    assert_int_equal(next_pow2(1), 1);
    assert_int_equal(next_pow2(2), 2);
    assert_int_equal(next_pow2(3), 4);
    assert_int_equal(next_pow2(0xFFFFFF), 0x1000000);
    assert_int_equal(next_pow2(0xFFFFFFF), 0x10000000);
    assert_int_equal(next_pow2(0xFFFFFF0), 0x10000000);
    assert_int_equal(next_pow2(SIZE_MAX), 0);
    assert_int_equal(next_pow2(-1), 0);
    assert_int_equal(next_pow2(-2), 0);

}

static void test_null_allocs(void **state) {
    (void)state;

    void *buf = NULL;
    void *ptr = afl_realloc(VOID_BUF, 100);
    if (unlikely(!buf)) { PFATAL("alloc"); }
    size_t size = afl_alloc_bufsize(buf);
    assert_true(buf == ptr);
    assert_true(size >= 100);
    afl_free(ptr);

}

static void test_nonpow2_size(void **state) {
    (void)state;

    char *buf = create_fake_maybe_grow_of(150);

    buf[140] = '5';

    char *ptr = afl_realloc(VOID_BUF, 160);
    if (unlikely(!ptr)) { PFATAL("alloc"); }
    size_t size = afl_alloc_bufsize(buf);
    assert_ptr_equal(buf, ptr);
    assert_true(size >= 160);
    assert_true(buf[140] == '5');
    afl_free(ptr);

}

static void test_zero_size(void **state) {
    (void)state;

    char *buf = NULL;
    size_t size = 0;
    char *new_buf = afl_realloc(VOID_BUF, 0);
    assert_non_null(new_buf);
    assert_ptr_equal(buf, new_buf);
    afl_free(buf);
    buf = NULL;
    size = 0;

    char *ptr = afl_realloc(VOID_BUF, 100);
    if (unlikely(!ptr)) { PFATAL("alloc"); }
    size = afl_alloc_bufsize(buf);
    assert_non_null(ptr);
    assert_ptr_equal(buf, ptr);
    assert_true(size >= 100);

    afl_free(ptr);

}


static void test_unchanged_size(void **state) {
    (void)state;

    // fake a realloc buf
    void *actual_buf = create_fake_maybe_grow_of(100);

    void *buf_before = actual_buf;
    void *buf_after = afl_realloc(&actual_buf, 100);
    if (unlikely(!buf_after)) { PFATAL("alloc"); }
    assert_ptr_equal(actual_buf, buf_after);
    assert_ptr_equal(buf_after, buf_before);
    afl_free(buf_after);

}

static void test_grow_multiple(void **state) {
    (void)state;

    char *buf = NULL;
    size_t size = 0;

    char *ptr = afl_realloc(VOID_BUF, 100);
    if (unlikely(!ptr)) { PFATAL("alloc"); }
    size = afl_alloc_bufsize(ptr);
    assert_ptr_equal(ptr, buf);
    assert_true(size >= 100);
    assert_int_equal(size, next_pow2(size) - AFL_ALLOC_SIZE_OFFSET);
    buf[50] = '5';

    ptr = (char *)afl_realloc(VOID_BUF, 1000);
    if (unlikely(!ptr)) { PFATAL("alloc"); }
    size = afl_alloc_bufsize(ptr);
    assert_ptr_equal(ptr, buf);
    assert_true(size >= 100);
    assert_int_equal(size, next_pow2(size) - AFL_ALLOC_SIZE_OFFSET);
    buf[500] = '5';

    ptr = (char *)afl_realloc(VOID_BUF, 10000);
    if (unlikely(!ptr)) { PFATAL("alloc"); }
    size = afl_alloc_bufsize(ptr);
    assert_ptr_equal(ptr, buf);
    assert_true(size >= 10000);
    assert_int_equal(size, next_pow2(size) - AFL_ALLOC_SIZE_OFFSET);
    buf[5000] = '5';

    assert_int_equal(buf[50], '5');
    assert_int_equal(buf[500], '5');
    assert_int_equal(buf[5000], '5');

    afl_free(buf);

}

/*
static int teardown(void **state) {

    return 0;

}
*/

int main(int argc, char **argv) {
    (void)argc;
    (void)argv;

	const struct CMUnitTest tests[] = {
		cmocka_unit_test(test_pow2),
		cmocka_unit_test(test_null_allocs),
		cmocka_unit_test(test_nonpow2_size),
		cmocka_unit_test(test_zero_size),
        cmocka_unit_test(test_unchanged_size),
        cmocka_unit_test(test_grow_multiple),
	};

    //return cmocka_run_group_tests (tests, setup, teardown);
    __real_exit( cmocka_run_group_tests (tests, NULL, NULL) );

    // fake return for dumb compilers
    return 0;
}