repo.or.cz
/
smatch.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
test_bit: add test_and_set_bit()
2018-11-28
Dan C
a
rpenter
t
e
s
t_bit: add te
s
t_and_set_b
i
t()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpente
r
de
b
ug: introd
u
ce __smatch_mem()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpenter
db: don't
s
ave struc
t
members
for int
e
g
er
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpent
e
r
implied
:
remove a
n
unnec
e
ss
a
ry NUL
L
check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan C
a
rpenter
nu
l
_termina
t
or:
export the is_nul_terminated
(
) functi
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan
C
arpenter
kpatch: use git instead of trying to create
dif
f
s by
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan Ca
r
pen
t
er
struct_assignme
n
t
:
hand
l
e
u
nions as wel
l
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan Car
p
enter
missing_
b
reak: turn it off by defa
u
lt
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan
C
arpenter
free_strict:
f
ix some fals
e
posi
t
ives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan C
a
r
p
enter
R
e
v
e
rt "Look across the entir
e
compile line f
o
r
smatch
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-27
Joh
n
L
e
von
Look ac
r
o
s
s the e
n
tire comp
i
le
l
ine f
o
r
smatc
h
arguments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-27
John Levon
sparse: add
-
W
empty-character-consta
n
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-27
Joh
n
Levon
sparse
:
add -Wbig-c
o
n
st
a
n
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-27
J
o
hn Levon
sparse:
a
dd -Wno-non-ansi-funct
i
on-declarati
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-27
J
o
h
n Levon
sparse:
correctly handle "-
D
foo" and "-U foo"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-27
Luc Van Oostenry
c
k
fix: spaces
i
n
m
a
cr
o
de
f
inition on the command
l
ine
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-27
J
ohn
L
evon
I
ntroduce sk
i
pp
e
d_funct
i
ons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-27
John Levon
Fix escape_newlin
e
s()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-27
Jo
h
n Levon
s
p
ars
e
: lib
.
c
s
h
o
u
l
d handle being
built 32-bit, compilin
g
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-27
John Le
v
on
sparse: defin
e
__x86_64;
some so
f
tware check
s
f
o
r
t
his
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-27
John Levo
n
Allow additional CFLAGS to be
spec
i
f
i
ed, e
.
g
.
"
C
FLAGS
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-14
Da
n
Carpenter
trinity: Proof of concept
t
o auto-generate trinity
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-01
Dan Ca
r
pente
r
user
_
data: rename
t
o smat
c
h_kernel_use
r
_da
t
a
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-01
Da
n
C
a
rpente
r
as
s
i
gned_expr:
r
e
name to smatch_assign
e
d
_
expr
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-31
Dan Car
p
ent
e
r
sma
t
c
h
: make the --enable/disable opti
o
ns ta
k
e strin
g
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-31
Joh
n
L
evon
clock
(
) is already defi
n
ed o
n
illumo
s
, so rename the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-31
John L
e
von
Igno
r
e
"#ident" as found in
some o
l
d sources
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-31
John Lev
o
n
Use $(CFLA
G
S) wh
e
n co
m
p
i
ling smatch
.
c it
s
elf
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-31
Dan
C
arp
e
nter
sma
t
ch_nul_termina
t
e
d
: fix com
p
ile
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-31
Da
n
Carpenter
untracked_param: f
i
x
a
NULL dereference
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-30
Dan Carpe
n
ter
u
nin
i
tializ
e
d: fix
a
crashing bug
parsing "return
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-23
Dan Carp
e
nter
n
u
l_terminator: track when strings ha
v
e a NUL terminator
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
Dan
C
a
rpen
t
er
user_data2: fix a type
i
ssue in caller_in
f
o
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
D
a
n Carpente
r
u
s
er_d
a
ta: integers can't b
e
dereferenced
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carp
e
nter
c
o
mpa
r
ison
:
make a buffer larger t
o
make GCC
h
ap
p
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
D
a
n Carpenter
data
_
so
u
rce:
t
rack assignm
e
nts better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carpent
e
r
extra: p
r
event a d
i
vide by zero
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
Dan C
a
rpe
n
t
e
r
modification
_
hooks: u
s
e the DB for f
r
ob(&foo);
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carpenter
s
v
al:
i
nt
r
o
du
c
e sval_binop_ov
e
rfl
o
ws_no_sign()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-28
Dan
Carpenter
extr
a
: undo bogus unop changes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-27
Dan Carpent
e
r
a
r
ray_va
l
ues: fix up
a
nd support two dimensional local
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-27
Dan Carpenter
param_set: do
n
't recor
d
a param_set fo
r
p++ changes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-27
D
a
n
C
a
rpenter
function_hooks: re-hack around movi
n
g
t
he fake par
a
meter
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-26
Dan Carpenter
array_valu
e
s
: store
ar
r
ay
v
alues of
st
r
uct me
m
b
e
r
arrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-26
Dan Ca
r
penter
fu
n
ction_hooks: h
a
ck ar
o
und
f
allout from mo
v
ing the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-24
Dan Carpenter
comp
a
ri
s
on: don't return
i
nvali
d
p
arams in get_
m
a
s
k_comparison()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carp
e
nter
db: don't pri
n
t "failed to open" w
a
rnings
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carp
e
nter
param_set: remove some dead
c
o
de
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpe
n
ter
mtag: tem
p
orarily disable generating
m
tag for kmalloc()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan
Carpenter
expr
e
s
s
i
o
n
s
: don't c
r
ash on i
n
v
alid code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan
Carpenter
ext
r
a: fix a type bug in
inserting info in
t
o caller_info
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan C
a
rpenter
ker
n
el:
don't insist that the pa
r
a
m
eter is
n
amed "error
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
extra:
e
xport is_impossible_var
i
able()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Car
p
enter
f
lo
w
: fix a c
r
ashing bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
D
a
n Carpenter
fu
n
ction_hooks: do the fake parameter as
s
i
g
nment after
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
param_li
m
it: f
i
x
generif
y
_mtag_range()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpent
e
r
e
xtra: clear_pointed_at_state()
i
s a n
o
mod state
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
param_set: handle whe
n
t
h
e s
t
ack v
a
ri
a
ble was modifie
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan
Carpenter
parse
_
call_mat
h
: don
'
t say the return is equal to a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Car
p
en
t
er
s
c
ope:
fix is_outer_stmt()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
sval: handle casting to boo
l
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Da
n
Carpenter
array_values: don't
c
rash on invalid code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Da
n
Carpenter
no_spec: r
e
cor
d
when functions have
a barrier
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-14
D
a
n Carpe
n
ter
extra/type: fix type of r
e
turn PARAM_
A
DD/SET
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-14
D
a
n Carpenter
para
m
_l
i
m
it: make mtag limi
t
s more generic
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-12
Dan Carp
e
nter
param_set: don't save if the paren
t
is
set
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpe
n
t
e
r
atomic_inc_dec: add
a
cou
p
l
e mo
r
e functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Dan Ca
r
penter
signe
d
_integer_overflow: ignore this f
o
r
t
h
e kernel
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
D
a
n
C
arpente
r
math:
h
a
ndle conditionals lik
e
: "a = b?: c;"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
D
an
C
arpenter
nosp
e
c
:
don't fill the DB
up with garbage
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpenter
sizeo
f
: fix NU
L
L derefer
e
nce parsing inva
l
id cod
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Dan
C
arpe
n
t
e
r
s
trings: truncat
i
ng large stri
n
gs causes SQL
problems
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Dan
Carpenter
type_val
:
don't double r
e
cord
g
l
o
bals
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Dan
C
arpente
r
target: man ssize
_
t
b
e unsig
n
ed long in
s
tead
o
f
unsigned
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpenter
e
xtra: don't reset impossible states
a
fter a condition
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-10
Dan Carp
e
nter
array
:
store possible ar
r
ay
v
alues for
s
i
mple
arrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-06
Dan Carpenter
mtag: HACK: return false
i
f
the mtag is zer
o
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-06
Dan
C
a
r
penter
flow: fake an a
s
s
i
g
n
s
tatement for gl
o
bal init
i
a
l
izers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-06
Dan Carpenter
f
l
ow
:
t
weak how
f
unc
t
ion timeouts ha
p
pen
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-06
Da
n
Carpenter
db:
f
ix
a
type
b
ug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-06
Dan
Carpenter
s
m
atch_
f
low
:
d
o
n't pars
e
i
nline fun
c
t
ions afte
r
we
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-31
Dan Carpente
r
mta
g
: add string info
r
matio
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-31
Dan Carpenter
flow
:
handle __builti
n
_mu
l
_overflow()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-29
Dan Carpenter
ker
n
el_printf: silence
"specifier
is
c
ast from poin
t
er
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-28
D
an Carpen
t
er
nosp
e
c:
turn of
f
s
p
eculation at rmb(), sm
b
_
rmb(
)
a
nd
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-28
Dan
Ca
r
penter
c
heck_sign
e
d: ignore fake ass
i
gn
m
ents
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-25
Da
n
Carpe
n
ter
mtag_data:
clear c
a
che at
s
tart
of fu
n
cti
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-25
Dan
C
arpe
n
ter
n
ospec:
f
ix uninitialized
point
e
r cr
a
s
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-24
D
a
n Carpenter
he
l
per:
fake
calls are not
e
q
uivalent
t
o anything
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-24
Da
n
C
arpenter
compa
r
i
s
on: han
d
le
comparisons: if ((foo = frob(
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-24
Dan Ca
r
penter
com
p
ariso
n
:
improve "foo = m
i
n(
.
.
.
);" assignment handling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-24
Dan Carpenter
c
o
m
p
arison: hac
k
aro
u
n
d
some type
b
u
gs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-24
D
a
n
C
arp
e
nter
mtag_data: rem
o
v
e duplicat
e
mtag_dat
a
and random small
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-24
Da
n
Carpenter
conta
i
ner_of: f
i
x a bug in get_shared_cnt()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-24
Dan Car
p
enter
check_che
c
k_deref: sile
n
ce some f
a
lse positives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-18
D
an Carpenter
n
o
spec
:
st
o
re functions
t
h
a
t retur
n
nospec indexe
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-15
Dan Carpenter
n
o
spec:
h
andle CALL_NOSPEC
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-14
Dan Carpen
t
er
db: introduce the -
-
db
-
f
i
le=/path/to/smatch_db
.
sql
i
t
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-13
Da
n
Carpen
t
er
use
r
_data2: use
func
t
i
o
n returns
in points_to_
u
ser_data
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-13
Dan C
a
rp
e
nter
files: chec
k
f
or s
c
hema files relative to the bin_
d
ir
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next