Files

.github
.vs
docker
docs
examples-rg
examples
lib
project
scripts
src
- main
- test
  - correct
    - arrays_simple
    - basic_arrays_read
    - basic_arrays_write
    - basic_assign_assign
    - basic_assign_increment
    - basic_function_call_caller
    - basic_function_call_reader
    - basic_lock_read
    - basic_lock_security_read
    - basic_lock_security_write
    - basic_lock_unlock
    - basic_loop_assign
    - basic_operation_evaluation
    - basic_sec_policy_read
    - basic_sec_policy_write
    - basicassign_gamma0
    - basicfree
    - cjump
    - floatingpoint
    - function
    - function1
    - functionpointer
    - functions_with_params
    - ifbranches
    - ifglobal
    - indirect_call
    - initialisation
    - jumptable2
    - malloc_with_local
    - malloc_with_local2
    - malloc_with_local3
    - multi_malloc
    - no_interference_update_x
    - no_interference_update_y
    - secret_write
    - switch
    - syscall
    - using_gamma_conditional
    - using_gamma_write_z
  - dsa
  - extraspec_correct
  - extraspec_incorrect
  - incorrect
  - indirect_calls
  - irreducible_loops
  - make
  - memory_regions
  - procedure_summaries
  - scala
  - unimplemented
  - .gitignore
  - Makefile
.gitignore
.mill-version
.scalafmt.conf
LICENSE.md
antlr.sc
build.sbt
build.sc
compose.yaml
mill
mill.bat
readme.md

correct

l-kent

and

l-kent

Atomic instructions support (#337 )

Feb 27, 2025

a7c77db · Feb 27, 2025

History

Name	Name	Last commit message	Last commit date
parent directory ..
arrays_simple	arrays_simple	Atomic instructions support (#337 )	Feb 27, 2025
basic_arrays_read	basic_arrays_read	Atomic instructions support (#337 )	Feb 27, 2025
basic_arrays_write	basic_arrays_write	Atomic instructions support (#337 )	Feb 27, 2025
basic_assign_assign	basic_assign_assign	Atomic instructions support (#337 )	Feb 27, 2025
basic_assign_increment	basic_assign_increment	Atomic instructions support (#337 )	Feb 27, 2025
basic_function_call_caller	basic_function_call_caller	Atomic instructions support (#337 )	Feb 27, 2025
basic_function_call_reader	basic_function_call_reader	Atomic instructions support (#337 )	Feb 27, 2025
basic_lock_read	basic_lock_read	Atomic instructions support (#337 )	Feb 27, 2025
basic_lock_security_read	basic_lock_security_read	Atomic instructions support (#337 )	Feb 27, 2025
basic_lock_security_write	basic_lock_security_write	Atomic instructions support (#337 )	Feb 27, 2025
basic_lock_unlock	basic_lock_unlock	Atomic instructions support (#337 )	Feb 27, 2025
basic_loop_assign	basic_loop_assign	Atomic instructions support (#337 )	Feb 27, 2025
basic_operation_evaluation	basic_operation_evaluation	Atomic instructions support (#337 )	Feb 27, 2025
basic_sec_policy_read	basic_sec_policy_read	Atomic instructions support (#337 )	Feb 27, 2025
basic_sec_policy_write	basic_sec_policy_write	Atomic instructions support (#337 )	Feb 27, 2025
basicassign_gamma0	basicassign_gamma0	Atomic instructions support (#337 )	Feb 27, 2025
basicfree	basicfree	Atomic instructions support (#337 )	Feb 27, 2025
cjump	cjump	Atomic instructions support (#337 )	Feb 27, 2025
floatingpoint	floatingpoint	Atomic instructions support (#337 )	Feb 27, 2025
function	function	Atomic instructions support (#337 )	Feb 27, 2025
function1	function1	Atomic instructions support (#337 )	Feb 27, 2025
functionpointer	functionpointer	Atomic instructions support (#337 )	Feb 27, 2025
functions_with_params	functions_with_params	Atomic instructions support (#337 )	Feb 27, 2025
ifbranches	ifbranches	Atomic instructions support (#337 )	Feb 27, 2025
ifglobal	ifglobal	Atomic instructions support (#337 )	Feb 27, 2025
indirect_call	indirect_call	Atomic instructions support (#337 )	Feb 27, 2025
initialisation	initialisation	Atomic instructions support (#337 )	Feb 27, 2025
jumptable2	jumptable2	Atomic instructions support (#337 )	Feb 27, 2025
malloc_with_local	malloc_with_local	Atomic instructions support (#337 )	Feb 27, 2025
malloc_with_local2	malloc_with_local2	Atomic instructions support (#337 )	Feb 27, 2025
malloc_with_local3	malloc_with_local3	Atomic instructions support (#337 )	Feb 27, 2025
multi_malloc	multi_malloc	Atomic instructions support (#337 )	Feb 27, 2025
no_interference_update_x	no_interference_update_x	Atomic instructions support (#337 )	Feb 27, 2025
no_interference_update_y	no_interference_update_y	Atomic instructions support (#337 )	Feb 27, 2025
secret_write	secret_write	Atomic instructions support (#337 )	Feb 27, 2025
switch	switch	Atomic instructions support (#337 )	Feb 27, 2025
syscall	syscall	Atomic instructions support (#337 )	Feb 27, 2025
using_gamma_conditional	using_gamma_conditional	Atomic instructions support (#337 )	Feb 27, 2025
using_gamma_write_z	using_gamma_write_z	Atomic instructions support (#337 )	Feb 27, 2025

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Files

correct

correct

Files

correct

Directory actions

More options

Directory actions

More options

Latest commit

History

correct

Folders and files

parent directory